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
The safety-progress classification

TThe safety-progress classification

Número de Cutter-SanbornC456sEntrada «Chandler, M.» → 456 · marca de obra “s”

The safety-progress classification

de E. Chang · Publicada por primera vez en 1992

Materias

Logic, Symbolic and mathematical
Real-time programming
Symbolic and mathematical Logic

Ediciones (1)

The safety-progress classification (1992)
Dept. of Computer Science, Stanford University · inglés

Más obras de E. Chang

CCompositional verification of reactive and real-time systems

Compositional verification of reactive and real-time systems

1993

TThe Public House in Holland

The Public House in Holland

Ver todas las obras de E. Chang →

The safety-progress classification — E. Chang | Cutter Number