Catalogo · 9783540472377
Automated technology for verification and analysis
ISBN 9783540472377
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Formal methods for components and objects
Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Verdachts- und ereignisunabhängige Personenkontrollen
Susanne Graf
Formal Techniques for Distributed Objects, Components, and Systems
Susanne Graf, Mahesh Viswanathan
Wir vom Jahrgang 1978 - Kindheit und Jugend
Susanne Graf
Tools and Algorithms for the Construction and Analysis of Systems
Susanne Graf, Michael Schwartzbach
Real Time and Such
Susanne Graf, Paul Pettersson, Bernhard Steffen
Models, Mindsets, Meta : The What, the How, and the Why Not?
Tiziana Margaria, Susanne Graf, Kim G. Larsen
Model Checking Software
Susanne Graf, Laurent Mounier
Lebendköder
Susanne Graf
Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures
Susanne Graf
Formal methods for components and objects
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Verba volant · scripta manent