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
Deductive program design

Tapa de Deductive program design

Número de Cutter-SanbornB885dEntrada «Browni» → 885 · marca de obra “d”

Deductive program design

Materias

Electronic data processing
Distributed processing
Congresses
Symbolic and mathematical Logic
System design
Electronic data processing, distributed processing
Logic, symbolic and mathematical

Ediciones (1)

Deductive program design (1996)
Springer · inglés

Más obras de M. Broy

SSoftware and systems safety

Software and systems safety

Tapa de Model-based testing of reactive systems

Model-based testing of reactive systems

Tapa de Perspectives of system informatics

Perspectives of system informatics

Deductive program design — M. Broy | Cutter Number

Tapa de KORSO

KORSO

Tapa de Formal systems specification

Formal systems specification

Tapa de Formal methods in programming and their applications

Formal methods in programming and their applications

Ver todas las obras de M. Broy →