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 es un development, model checking book de TACAS 2010 (2010 Paphos, Cyprus).
Descubre Tools and algorithms for the construction and analysis of systems de TACAS 2010 (2010 Paphos, Cyprus), development.
Sobre el Autor
TACAS 2010 (2010 Paphos, Cyprus) es el autor de Tools and algorithms for the construction and analysis of systems. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Tools and algorithms for the construction and analysis of systems?+
Tools and algorithms for the construction and analysis of systems es un libro de Development, Model Checking, System design, System analysis.
¿Quién escribió Tools and algorithms for the construction and analysis of systems?+
Tools and algorithms for the construction and analysis of systems fue escrito por TACAS 2010 (2010 Paphos, Cyprus).