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
Towards verified systems

TTowards verified systems

Número de Cutter-SanbornB786tEntrada «Bowe» → 786 · marca de obra “t”

Towards verified systems

Materias

Embedded computer systems
Evaluation
Real-time data processing

Ediciones (1)

Towards verified systems (1994)
Elsevier · inglés

Más obras de J. P. Bowen

Tapa de Formal methods

Formal methods

Tapa de Formal methods and testing

Formal methods and testing

Tapa de Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Tapa de High-integrity system specification and design

Towards verified systems — J. P. Bowen | Cutter Number

High-integrity system specification and design

Tapa de Applications of formal methods

Applications of formal methods

Ver todas las obras de J. P. Bowen →