Catalogo · 9783030891589
Leveraging Applications of Formal Methods, Verification and Validation
ISBN 9783030891589
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay, Tiziana Margaria
Semantic Web Services Challenge
Charles Petrie, Holger Lausen, Tiziana Margaria
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
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996
Germany) Tacas '9 1996 Passau, Tiziana Margaria, Bernhard Steffen
SOFSEM 2017 : Theory and Practice of Computer Science
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
Service-Oriented Computing - ICSOC 2008
Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria
Models, Mindsets, Meta : The What, the How, and the Why Not?
Tiziana Margaria, Susanne Graf, Kim G. Larsen
Verba volant · scripta manent