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
Predicate calculus and program semantics

Tapa de Predicate calculus and program semantics

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

Predicate calculus and program semantics

de Edsger Wybe Dijkstra

Ediciones (1)

Predicate calculus and program semantics (1990)
Springer-Verlag · inglés

Más obras de Edsger Wybe Dijkstra

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

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

Predicate calculus and program semantics — Edsger Wybe Dijkstra | Cutter Number

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

Tapa de Formal development of programs and proofs

Formal development of programs and proofs

Ver todas las obras de Edsger Wybe Dijkstra →