cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Model Checking Software Lecture Notes in Computer Science

Tapa de Model Checking Software

Lecture Notes in Computer Science

Número de Cutter-SanbornH384mEntrada «Havel» → 384 · marca de obra “m”

Model Checking Software Lecture Notes in Computer Science

de Klaus Havelund

Materias

Logic design
Computer science
Software engineering
Congresses
Computer software
Verification
SPIN (Computer file)

Ediciones (1)

Model Checking Software Lecture Notes in Computer Science (2008)
Springer · ISBN 9783540851134

Más obras de Klaus Havelund

Model Checking Software Lecture Notes in Computer Science — | Cutter Number

Tapa de Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

Tapa de Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tapa de NASA Formal Methods

NASA Formal Methods

Tapa de Formal Methods

Formal Methods

FFormal Approaches to Software Testing and Runtime Verificati

Formal Approaches to Software Testing and Runtime Verification

MModel Checking Software

Model Checking Software

Ver todas las obras de Klaus Havelund →