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
Occam 2 Reference Manual

Tapa de Occam 2 Reference Manual

Número de Cutter-SanbornH679oEntrada «Hoar» → 679 · marca de obra “o”

Occam 2 Reference Manual

de C. A. R. Hoare · Publicada por primera vez en 1988

Materias

Occam (Computer program language)
Occam (langage de programmation)

Ediciones (2)

Occam 2 Reference Manual (1988)
Prentice Hall · inglés · ISBN 9780136293125
OCCAM 2 reference manual (1988)
Prentice Hall International · inglés

Más obras de C. A. R. Hoare

Tapa de VDM '90

VDM '90

Occam 2 Reference Manual — C. A. R. Hoare | Cutter Number

SSoftware and systems safety

Software and systems safety

AAlgebraic specification and proof of properties of communica

Algebraic specification and proof of properties of communicating sequential processes

1985

AA calculus of total correctness for communicating processes

A calculus of total correctness for communicating processes

1981

Tapa de Developments in Concurrency and Communication (The Year of Programming Series)

Developments in Concurrency and Communication (The Year of Programming Series)

1991

TThe Mathematics of Programming

The Mathematics of Programming

1986

Ver todas las obras de C. A. R. Hoare →