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-SanbornH157cEntrada «Hal» → 157 · marca de obra “c”

Computer aided verification

de Nicolas Halbwachs, Doron Peled

Materias

Enginyeria del software
Disseny lògic
Congressos
Llenguatges formals
Computer software, verification
Computer software
Congresses
Verification
Integrated circuits
Verificatie

Computer aided verification — Nicolas Halbwachs, Doron Peled | Cutter Number

Ediciones (2)

Computer Aided Verification (2003)
Springer London, Limited · inglés · ISBN 9783540486831
Computer Aided Verification (1999)
Springer · inglés · ISBN 9783540662020

Más obras de Nicolas Halbwachs

TTools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

Tapa de Synchronous programming of reactive systems

Synchronous programming of reactive systems

Ver todas las obras de Nicolas Halbwachs →