Catálogo de publicaciones - libros

Compartir en
redes sociales


Abstraction Refinement for Large Scale Model Checking

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Ingeniería y Sistemas de comunicación

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-0-387-34155-2

ISBN electrónico

978-0-387-34600-7

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Tabla de contenidos

Abstraction Refinement for Large Scale Model Checking

Pp. No disponible