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-SanbornB858cEntrada «Brin» → 858 · marca de obra “c”

Computer aided verification

Materias

Logic design
Software engineering
Computer science
Artificial intelligence
Computer software
Verification
Congresses
Integrated circuits

Ediciones (2)

Computer Aided Verification (2003)
Springer London, Limited · inglés · ISBN 9783540456575

Computer aided verification — Ed Brinksma | Cutter Number

Computer Aided Verification (2002)

Springer · inglés · ISBN 9783540439974

Más obras de Ed Brinksma

Tapa de Protocol specification, testing, and verification, IX

Protocol specification, testing, and verification, IX

1990

LLectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Tapa de Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tapa de Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995

Ver todas las obras de Ed Brinksma →