Tools and algorithms for the construction and analysis of systems
by TACAS 2010 (2010 Paphos, Cyprus)
- ISBN
- 9783642120015
Tools and algorithms for the construction and analysis of systems è un development, model checking book di TACAS 2010 (2010 Paphos, Cyprus).
Scopri Tools and algorithms for the construction and analysis of systems di TACAS 2010 (2010 Paphos, Cyprus), development.
Sull'Autore
TACAS 2010 (2010 Paphos, Cyprus) è l'autore di Tools and algorithms for the construction and analysis of systems. Esplora il suo catalogo completo su Booklogr.
Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Tools and algorithms for the construction and analysis of systems?+
Tools and algorithms for the construction and analysis of systems è un libro di Development, Model Checking, System design, System analysis.
Chi ha scritto Tools and algorithms for the construction and analysis of systems?+
Tools and algorithms for the construction and analysis of systems è stato scritto da TACAS 2010 (2010 Paphos, Cyprus).