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
Practical formal methods with VDM

Tapa de Practical formal methods with VDM

Número de Cutter-SanbornA565pEntrada «Andrews» → 565 · marca de obra “p”

Practical formal methods with VDM

de Derek Andrews · Publicada por primera vez en 1991

Materias

Development
Formal methods (Computer science)
Computer software

Ediciones (1)

Practical formal methods with VDM (1991)
McGraw-Hill · inglés

Más obras de Derek Andrews

Tapa de Formal methods in standards

Formal methods in standards

Tapa de The Software life cycle

The Software life cycle

SSemantics of Specification Languages (Sosl): Proceedings of

Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlan (Communications and Control Engineering Series)

1994

Practical formal methods with VDM — Derek Andrews | Cutter Number

Tapa de A theory and practice of program development

A theory and practice of program development

1997

Tapa de Computing for non-scientific applications

Computing for non-scientific applications

1987

AAccelerating Pace of Change to Our Troubled World

Accelerating Pace of Change to Our Troubled World

Ver todas las obras de Derek Andrews →