Catalogo · 9783662452301
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
ISBN 9783662452301
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
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 : 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
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent