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 systems specification

Tapa de Formal systems specification

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

Formal systems specification

de M. Broy, Stephan Merz

Materias

Memory management (Computer science)
Electronic data processing
Distributed processing
Computer networks

Ediciones (2)

Formal Systems Specification (1996)
Springer · inglés · ISBN 9783540619840
Formal systems specification (1996)
Springer · inglés

Más obras de M. Broy

Formal systems specification — M. Broy, Stephan Merz | Cutter Number

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

Tapa de KORSO

KORSO

Tapa de Formal methods in programming and their applications

Formal methods in programming and their applications

Tapa de Program design calculi

Program design calculi

Ver todas las obras de M. Broy →