The SPIN Model Checker: Primer and Reference Manual (paperback) por Gerard J. Holzmann

Titulo del libro: The SPIN Model Checker: Primer and Reference Manual (paperback)

Autor: Gerard J. Holzmann

Número de páginas: 608 páginas

Fecha de lanzamiento: September 4, 2003

ISBN: 0321773713

Editor: Pearson Education (US)

The SPIN Model Checker: Primer and Reference Manual (paperback) por Gerard J. Holzmann

Obtenga el libro de The SPIN Model Checker: Primer and Reference Manual (paperback) de Gerard J. Holzmann en formato PDF o EPUB. Puedes leer cualquier libro en línea o guardarlo en tus dispositivos. Cualquier libro está disponible para descargar sin necesidad de gastar dinero.

Gerard J. Holzmann con The SPIN Model Checker: Primer and Reference Manual (paperback)

Book by Holzmann Gerard

Los más vendidos Libros