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
Verifiable programming

Tapa de Verifiable programming

Número de Cutter-SanbornD131vEntrada «Dahl» → 131 · marca de obra “v”

Verifiable programming

de Ole-Johan Dahl

Materias

Computer programs
Verification
54.51 programming techniques
Programmverifikation
Programmatuurtechniek

Ediciones (1)

Verifiable programming (1992)
Prentice Hall · inglés

Más obras de Ole-Johan Dahl

Tapa de From object-orientation to formal methods

From object-orientation to formal methods

CCommon base language

Common base language

DDiscrete event simulation languages

Discrete event simulation languages

Verifiable programming — Ole-Johan Dahl | Cutter Number

Tapa de SIMULA

SIMULA

Tapa de Structured programming

Structured programming

Ver todas las obras de Ole-Johan Dahl →