Catalogo · 9783540292098
Automated Technology for Verification and Analysis
ISBN 9783540292098
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
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
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled, Moshe Y. Vardi
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
The Correspondence
J. D. Daniels
Verba volant · scripta manent