L’articolo è stato aggiunto alla lista dei desideri

Password

Ricordami

Hai dimenticato la password?

Prosegui come ospite

Dichiaro di aver letto ed accettato le Condizioni d’Uso del sito, Condizioni Generali di Vendita, Acquistare un prodotto come ospite, nonché l’Informativa Privacy, fornita ai sensi degli artt. 13 e 14 del Regolamento Europeo (UE) 679/2016.

Torna indietro

Verifica email È stata appena inviata una mail di verifica all’indirizzo

Questo passaggio aggiuntivo dimostra che sei tu che stai provando a proseguire come ospite.

Nome

Cognome

Password

Min. 8 caratteri ( A-Z, a-z, 0-9 e caratteri speciali . , - / @ _ ! )

Ripeti password

Verifica email L’indirizzo nome.cognome@mail.com non è presente nei nostri database come profilo ospite. Per maggiori dettagli contattare il servizio clienti

Con la presente registrazione dichiaro di aver letto ed accettato le Condizioni d’Uso del sito, le Condizioni Generali di Vendita e l’Informativa Privacy fornita ai sensi degli artt. 13 e 14 del Regolamento Europeo (UE) 679/2016.

Autorizzo il Titolare ad inviare direttamente comunicazioni commerciali su prodotti e servizi del Titolare, società del Gruppo Feltrinelli e partner commerciali, a mezzo di sistemi automatizzati via e-mail, sms o simili e a mezzo del servizio postale, così come descritto all’art. 3 lett. e) dell’informativa privacy.

Autorizzo il Titolare a migliorare ed accrescere la capacità di adeguare l’offerta complessiva del Titolare alle esigenze dell’Utente, mediante comunicazioni commerciali ed offerte promozionali personalizzate basate sulla profilazione, così come descritto all’art. 3 lett. f) dell’informativa privacy.

Autorizzo il Titolare a comunicare e cedere i dati a società del Gruppo Feltrinelli e/o a partner commerciali attivi nei settori di editoria, cinema, musica, intrattenimento, nonché ulteriori terze parti appartenenti alle categorie indicate nell’informativa, per l’invio di comunicazioni commerciali effettuate da parte di questi soggetti, così come descritto all’art. 3 lett. g) dell’informativa privacy.

Benvenuto in IBS,

Riceverai una mail di conferma all’indirizzo

Raccontaci qualcosa in più su di te

oppure

Inizia il tuo shopping

Verifica email È stata appena inviata una mail di verifica all’indirizzo

Questo passaggio aggiuntivo dimostra che sei tu che stai provando a proseguire come ospite.

;

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - E. -R. Olderog - cover

LIBRO INGLESE

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Name: Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Price: 70.10 EUR
Availability: InStock
Author: E. -R. Olderog
ISBN: 0521018455

di E. -R. Olderog (Autore)

Cambridge University Press, 2005

Recensioni: 0/5

(0)

Grazie per la tua recensione!

Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti Effe

70,10 € +700 punti Effe

Venditore: IBS

Articolo acquistabile con Carta del Docente

Articolo acquistabile con Carta Cultura Giovani e Carta del Merito

Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €

Dati e Statistiche

Salvato in 0 liste dei desideri

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Disponibilità in 2 settimane

70,10 €

Disp. in 2 settimane

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

di E. -R. Olderog

Libri in Inglese

Altri venditori

Prezzo e spese di spedizione

Venduto e spedito da IBS

70,10 € Spedizione gratuita

disponibilità in 2 settimane

Nuovo

Altri venditori

Prezzo e spese di spedizione

Venduto e spedito da IBS

70,10 € Spedizione gratuita

disponibilità in 2 settimane

Nuovo

Altri venditori

Prezzo e spese di spedizione

Descrizione

The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent processes; and logical formulas specify the intended communication behaviour of processes. At the heart of this theory are two sets of transformation rules for the top-down design of concurrent processes. The first set can be used to transform stepwise logical formulas into process terms, whilst process terms can be transformed into Petri nets by the second set. These rules are based on novel techniques for the operational and denotational semantics of concurrent processes. Various results and relationships between nets, terms and formulas starting with formulas and illustrated by examples. The use of transformations is demonstrated in a series of case studies, and the author also identifies directions for research.

Leggi di più Leggi di meno

Dettagli

Autore:

E. -R. Olderog

Editore:

Cambridge University Press

Collana:

Cambridge Tracts in Theoretical Computer Science

Anno:

2005

Rilegatura:

Paperback / softback

Pagine:

280 p.

Testo in English

Dimensioni:

245 x 170 mm

Peso:

446 gr.

EAN:

9780521018456

L’articolo è stato aggiunto alla lista dei desideri