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 specification and software development

Tapa de Formal specification and software development

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

Formal specification and software development

Materias

Computer software
Development
Programming languages (Electronic computers)

Ediciones (1)

Formal specification and software development (1982)
Prentice/Hall International · inglés

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

Formal specification and software development — D. Bjørner | Cutter Number

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 →