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

Tapa de Model Checking Software

Número de Cutter-SanbornP762mEntrada «Pol» → 762 · marca de obra “m”

Model Checking Software

de Jaco van de Pol

Materias

Logic design
Computer science
Software engineering
SPIN (Computer file)
Computer simulation
Congresses
Verification
Data processing
Testing
Computer software

Ediciones (1)

Model Checking Software (2010)
Springer Berlin Heidelberg · inglés · ISBN 9783642161636

Más obras de Jaco van de Pol

FFormal Methods : Applications and Technology

Formal Methods : Applications and Technology

Ver todas las obras de Jaco van de Pol →

Model Checking Software — Jaco van de Pol | Cutter Number