Catalogo · 9783540452973
SPIN Model Checking and Software Verification
ISBN 9783540452973
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
NASA Formal Methods
Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Tools and Algorithms for the Construction and Analysis of Systems
Erika Abraham, Klaus Havelund
Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings
Klaus Havelund
Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
Model Checking Software
Lecture Notes in Computer Science
Klaus Havelund
Formal Methods
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Verba volant · scripta manent