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
Autores con K
Klaus Havelund

Número de Cutter-SanbornH384Entrada de tabla «Havel»

Klaus Havelund

· 8 obras en el catálogo

Obras

Tapa de Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

Tapa de Model Checking Software

Lecture Notes in Computer Science

Model Checking Software Lecture Notes in Computer Science

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

Tools and Algorithms for the Construction and Analysis of Systems

Tapa de NASA Formal Methods

NASA Formal Methods

Tapa de Formal Methods

Formal Methods

FFormal Approaches to Software Testing and Runtime Verificati

Formal Approaches to Software Testing and Runtime Verification

MModel Checking Software

Model Checking Software

SSPIN Model Checking and Software Verification

SPIN Model Checking and Software Verification

Klaus Havelund — obras y número de Cutter | Cutter Number