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
Computer aided verification

Tapa de Computer aided verification

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

Computer aided verification

de Thomas Ball, Jones, Robert B.

Materias

Circuits intégrés
Congrès
Vérification
Congresses
Verification
Logiciels
Integrated circuits
Computer software
Computer software, verification

Ediciones (2)

Computer aided verification — Thomas Ball, Jones, Robert B. | Cutter Number

Computer Aided Verification (2006)
Springer · inglés · ISBN 9783540374060
Computer Aided Verification (2006)
Springer London, Limited · inglés · ISBN 9783540374114

Más obras de Thomas Ball

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

MModel Checking Software

Model Checking Software

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 →