Catalogo · 9780270903874
Karten Von Mykenai
ISBN 9780270903874
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Mathematical Foundations of Advanced Informatics : Volume 1
Bernhard Steffen, Oliver Rüthing, Michael Huth
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
Tiziana Margaria, Bernhard Steffen
Bridging the Gap Between AI and Reality
Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen, Giorgio Levi
Transactions on Foundations for Mastering Change I
Bernhard Steffen
Verba volant · scripta manent