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-SanbornL334cEntrada «Larri» → 334 · marca de obra “c”

Computer aided verification

de Kim Guldstrand Larsen

Materias

Computer software
Verification
Congresses
Electronic digital computers
Evaluation
Computer programs

Ediciones (1)

Computer Aided Verification (1992)
Springer · inglés · ISBN 9783540551799

Más obras de Kim Guldstrand Larsen

Tapa de Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Tapa de Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Tapa de Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Computer aided verification — Kim Guldstrand Larsen | Cutter Number

T

Tools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

Ver todas las obras de Kim Guldstrand Larsen →