Catalogo · 9783540361350
Formal Techniques for Networked and Distributed Systems - FORTE 2002
ISBN 9783540361350
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Model checking
Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Software Reliability Methods
Doron A. Peled, E.M. Clarke
Computer aided verification
Rajeev Alur, Doron A. Peled
Automated Technology for Verification and Analysis
Doron A. Peled
Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Time for Verification
Zohar Manna, Doron A. Peled
Time For Verification Essays In Memory Of Amir Pnueli
Doron A. Peled
Software Reliability Methods (Texts in Computer Science)
Doron A. Peled
Model Checking and Artificial Intelligence
Doron A. Peled, Michael Wooldridge
Verba volant · scripta manent