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

CComputer Aided Verification

Número de Cutter-SanbornD162cEntrada «Damm» → 162 · marca de obra “c”

Computer Aided Verification

de Werner Damm, Holger Hermanns

Ediciones (1)

Computer Aided Verification (2007)
Springer London, Limited · inglés · ISBN 9783540733683

Más obras de Werner Damm

Tapa de Practical formal methods for hardware design

Practical formal methods for hardware design

Tapa de Wo aber bleibt die Seele?

Wo aber bleibt die Seele?

Computer Aided Verification — Werner Damm, Holger Hermanns | Cutter Number

IIntegration of Software Specification Techniques for Applica

Integration of Software Specification Techniques for Applications in Engineering

FFormal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

DDie IO- und OI-Hierarchien als Interpretation von Schemata m

Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen

Tapa de Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Ver todas las obras de Werner Damm →