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
The Vienna development method

Tapa de The Vienna development method

Número de Cutter-SanbornB626vEntrada «Bj» → 626 · marca de obra “v”

The Vienna development method

de D. Bjørner, Jones, C. B.

Materias

Metasprache
Formalisation langage
Langage programmation
Semantik
ML (Computer program language)
Programmeertalen
Métalangage
Programmiersprache
Langages de programmation
VDM

The Vienna development method — D. Bjørner, Jones, C. B. | Cutter Number

Aufsatzsammlung

Ml (computer program language)

Ediciones (1)

The Vienna Development Method (1978)
Springer · inglés · ISBN 9783540087663

Más obras de D. Bjørner

TThe Vienna development method

The Vienna development method

Tapa de Towards a formal description of Ada

Towards a formal description of Ada

Tapa de Formal methods and hybrid real-time systems

Formal methods and hybrid real-time systems

Tapa de The Vienna development method

The Vienna development method

Tapa de Perspectives of system informatics

Perspectives of system informatics

Tapa de Formal methods in programming and their applications

Formal methods in programming and their applications

Ver todas las obras de D. Bjørner →