Principles of model checking /

Detalles Bibliográficos
Autor principal: Baier, Christel
Otros Autores: Katoen, Joost-Pieter
Formato: Libro
Lenguaje:English
Publicado: Cambridge, Mass. : The MIT Press, [2008?]
Materias:
Programas para computadora > Verificación.
Sistemas de información > Verificación.
Acceso en línea:Tabla de contenido
Descripción
Descripción Física:xvii, 975 p. : il. ; 26 cm.
Bibliografía:Incluye bibliografía (p. 931-964) e índice.
ISBN:026202649X
9780262026499

Ejemplares similares