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-SanbornB743mEntrada «Bose» → 743 · marca de obra “m”

Model Checking Software

de Dragan Bošnački, Anton Wijs

Materias

Computer software, verification
Computer simulation

Ediciones (3)

Model Checking Software (2024)
Springer · inglés · ISBN 9783031661488
Model Checking Software (2016)
Springer London, Limited · inglés · ISBN 9783319325828
Model Checking Software (2016)
Springer · ISBN 9783319325811

Model Checking Software — Dragan Bošnački, Anton Wijs | Cutter Number