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
Autores con D
D. Bjørner

Número de Cutter-SanbornB626Entrada de tabla «Bj»

D. Bjørner

1937 · 13 obras en el catálogo

Obras

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

Tapa de Baltic computer science

Baltic computer science

Tapa de Logics of specification languages

Logics of specification languages

Tapa de Towards a Formal Description of Ada (Lecture Notes in Computer Science)

Towards a Formal Description of Ada (Lecture Notes in Computer Science)

Tapa de The Vienna development method

The Vienna development method

Tapa de Formal specification and software development

Formal specification and software development

Tapa de Software engineering

Software engineering

TThe theory of the finite state syntax directed transductions

The theory of the finite state syntax directed transductions

D. Bjørner (1937–) — obras y número de Cutter | Cutter Number