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
Program construction and verification

Tapa de Program construction and verification

Número de Cutter-SanbornB126pEntrada «Back» → 126 · marca de obra “p”

Program construction and verification

de Roland C. Backhouse

Materias

Computer programming
Developpement
Programmation
Programmverifikation
Computer programs
Validation logiciel
Programmation (Informatique)
Verification logiciel
Logiciels
Programmierung
Ordinateurs
Production programme

Ediciones (1)

Program construction and verification (1986)
Prentice-Hall International · inglés

Más obras de Roland C. Backhouse

Tapa de Algorithmic problem solving

Algorithmic problem solving

Tapa de Datatype-Generic Programming

Datatype-Generic Programming

Tapa de Generic programming

Generic programming

Tapa de Datatype-generic Programming

Datatype-generic Programming

Program construction and verification — Roland C. Backhouse | Cutter Number

AAlgorithmic Problem Solving

Algorithmic Problem Solving

AAlgebraic and Coalgebraic Methods in the Mathematics of Prog

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Ver todas las obras de Roland C. Backhouse →