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
Model Checking Software

MModel Checking Software

Número de Cutter-SanbornG736mEntrada «Graf» → 736 · marca de obra “m”

Model Checking Software

de Susanne Graf, Laurent Mounier

Materias

Computer software, verification

Ediciones (1)

Model Checking Software (2004)
Springer London, Limited · inglés · ISBN 9783540247326

Más obras de Susanne Graf

Tapa de Automated technology for verification and analysis

Automated technology for verification and analysis

Model Checking Software — Susanne Graf, Laurent Mounier | Cutter Number

Tapa de Formal methods for components and objects

Formal methods for components and objects

Tapa de Formal methods for components and objects

Formal methods for components and objects

Tapa de Formal methods for components and objects

Formal methods for components and objects

Tapa de Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures

Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures

Tapa de Models, Mindsets, Meta : The What, the How, and the Why Not?

Models, Mindsets, Meta : The What, the How, and the Why Not?

Ver todas las obras de Susanne Graf →