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

Internet

Tabla de contenido

Economía, Estadística, Informática y Geografía Xalapa -

Detalle de Existencias desde Economía, Estadística, Informática y Geografía Xalapa -
Número de Clasificación: QA76.76.V47 B34 2008
Copia 1 Disponible Hacer reserva
Notas:
  • INFOR

Ejemplares similares