SPIN model checking and software verification
- ISBN
- 9783540410300
SPIN model checking and software verification es un spin, verification book de .
Descubre SPIN model checking and software verification de , spin.
Sobre el Autor
es el autor de SPIN model checking and software verification. 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 SPIN model checking and software verification?+
SPIN model checking and software verification es un libro de SPIN, Verification, Computer software.
¿Quién escribió SPIN model checking and software verification?+
SPIN model checking and software verification fue escrito por .