Libri di Zohar Manna
Tutti i risultati (6)
-
The Calculus of Computation: Decision Procedures with Applications to Verification
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane73,80 € -
The Calculus of Computation: Decision Procedures with Applications to Verification
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane94,20 € -
Temporal Verification of Reactive Systems: Safety
Venditore: Feltrinelli135,70 € -
The Temporal Logic of Reactive and Concurrent Systems: Specification
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2012Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,50 € -
The Temporal Logic of Reactive and Concurrent Systems: Specification
Venditore: FeltrinelliSpringer-Verlag New York Inc., 1991Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane143,40 € -
Temporal Verification of Reactive Systems: Safety
Venditore: FeltrinelliSpringer-Verlag New York Inc., 1995Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane130,30 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
