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
Spin Model Checker

SSpin Model Checker

Número de Cutter-SanbornH762sEntrada «Holz» → 762 · marca de obra “s”

Spin Model Checker

de Gerard Holzmann

Materias

Computer software, testing
Systems engineering

Ediciones (1)

Spin Model Checker (2003)
Pearson Education, Limited · inglés · ISBN 9780321773715

Más obras de Gerard Holzmann

Tapa de NASA Formal Methods

NASA Formal Methods

Safe at Home

MMore Geometric Knit Blankets

More Geometric Knit Blankets

Ver todas las obras de Gerard Holzmann →

Spin Model Checker — Gerard Holzmann | Cutter Number