Principles of Model checking

Guardado en:
Detalles Bibliográficos
Autores principales: Baier, Christel (Autor), Katoen, Joost-Pieter (Autor)
Formato: Libro
Lenguaje:inglés
Publicado: Cambridge : MIT Press, 2008
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!