Reparti Books

Books Amir Pnueli

Ordina per
Aggiungi al carrello 
1.
Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
di Oded Maler, Amir Pnueli - Springer - May 2003

Prezzo: € 101.10

Normalmente disponibile in 6/7 giorni lavorativi

Aggiungi al carrello 
2.
Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety
di Z. Manna, Zohar Manna, Amir Pnueli - Springer - August 1995

Prezzo: € 147.90

Normalmente disponibile in 6/7 giorni lavorativi

Aggiungi al carrello 
3.
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification
di Zohar Manna, Amir Pnueli - Springer - December 1991

Prezzo: € 155.62

Normalmente disponibile in 6/7 giorni lavorativi

Ultimi prodotti visti

 
Reparti • Libri
• Libri Scolastici
• Books
• E-book
• Dvd
• Videogames
• Remainders -55%
• Giocattoli
 		My Account • Accedi al tuo account
• Verifica lo stato dell'ordine
• Apri un nuovo account 		Hai bisogno
d'aiuto? • Dimenticato la password?
• Come fare un ordine
• Quando riceverò il mio ordine?
• Contatta il servizio Clienti
Webster.it
webster.it © 2000-2012 | Webster srl - P.IVA 03556440281 - All rights Reserved
Diventa Partner  |   Condizioni d'acquisto  |   Privacy  |   Contattaci