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 development of programs and proofs

Tapa de Formal development of programs and proofs

Número de Cutter-SanbornD575fEntrada «Dign» → 575 · marca de obra “f”

Formal development of programs and proofs

de Edsger Wybe Dijkstra

Materias

Computer programming
Congresses
Electronic digital computers, programming

Ediciones (1)

Formal development of programs and proofs (1990)
Addison-Wesley · inglés

Más obras de Edsger Wybe Dijkstra

Tapa de Predicate calculus and program semantics

Predicate calculus and program semantics

TTable of Everett's interpolation coefficients

Table of Everett's interpolation coefficients

Tapa de A primer of Algol 60 programming

A primer of Algol 60 programming

Formal development of programs and proofs — Edsger Wybe Dijkstra | Cutter Number

Tapa de A primer of Algol 60 programming, together with Report on the algorithmic language Algol 60

A primer of Algol 60 programming, together with Report on the algorithmic language Algol 60

1962

Tapa de A primer of Algol 60 programming

A primer of Algol 60 programming

Tapa de Selected Writings On Computing A Personal Perspective

Selected Writings On Computing A Personal Perspective

Ver todas las obras de Edsger Wybe Dijkstra →