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

MModel Checking Software

Número de Cutter-SanbornB187mEntrada «Ball» → 187 · marca de obra “m”

Model Checking Software

de Thomas Ball, Sriram K. Rajamani

Materias

Computer files
Computer software, verification
Computers, congresses

Ediciones (1)

Model Checking Software (2003)
Springer London, Limited · inglés · ISBN 9783540448297

Más obras de Thomas Ball

Tapa de Computer aided verification

Computer aided verification

Model Checking Software — Thomas Ball, Sriram K. Rajamani | Cutter Number

Tapa de My Threescore Years and Ten. an Autobiography

My Threescore Years and Ten. an Autobiography

EEthical Philosophy of Anselm of Canterbury from the Temporal

Ethical Philosophy of Anselm of Canterbury from the Temporal to the Eternal

MMy Threescore Years and Ten

My Threescore Years and Ten

HHere Comes Smiley

Here Comes Smiley

SSmiley and the Talent Show

Smiley and the Talent Show

Ver todas las obras de Thomas Ball →