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 est un development, model checking book de TACAS 2010 (2010 Paphos, Cyprus).
Découvrez Tools and algorithms for the construction and analysis of systems de TACAS 2010 (2010 Paphos, Cyprus), development.
À propos de l'auteur
TACAS 2010 (2010 Paphos, Cyprus) est l'auteur de Tools and algorithms for the construction and analysis of systems. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Tools and algorithms for the construction and analysis of systems ?+
Tools and algorithms for the construction and analysis of systems est un livre de Development, Model Checking, System design, System analysis.
Qui a écrit Tools and algorithms for the construction and analysis of systems ?+
Tools and algorithms for the construction and analysis of systems a été écrit par TACAS 2010 (2010 Paphos, Cyprus).