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
Formal Methods

Tapa de Formal Methods

Número de Cutter-SanbornH384fEntrada «Havel» → 384 · marca de obra “f”

Formal Methods

de Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Materias

Artificial intelligence

Ediciones (1)

Formal Methods (2018)
Springer · ISBN 9783319955810

Más obras de Klaus Havelund

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

FFormal Approaches to Software Testing and Runtime Verificati

Formal Approaches to Software Testing and Runtime Verification

MModel Checking Software

Model Checking Software

Ver todas las obras de Klaus Havelund →

Formal Methods — Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink | Cutter Number