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 Abstract State Machines

MModel Checking Abstract State Machines

Número de Cutter-SanbornW785mEntrada «Winter, G.» → 785 · marca de obra “m”

Model Checking Abstract State Machines

de Kirsten Winter

Materias

Computer simulation
Machine theory

Ediciones (1)

Model Checking Abstract State Machines (2008)
Simon & Schuster · inglés · ISBN 9783639018912

Más obras de Kirsten Winter

Tapa de Integrated Formal Methods

Integrated Formal Methods

Ver todas las obras de Kirsten Winter →

Model Checking Abstract State Machines — Kirsten Winter | Cutter Number