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-SanbornG163mEntrada «Gallan» → 163 · marca de obra “m”

Model Checking Software

de María del Mar Gallardo, Pedro Merino

Materias

Computer software, verification
Software engineering
Computer software, testing

Ediciones (1)

Model Checking Software (2018)
Springer · ISBN 9783319941103

Model Checking Software — María del Mar Gallardo, Pedro Merino | Cutter Number