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
A programming logic

Tapa de A programming logic

Número de Cutter-SanbornC756pEntrada «Const» → 756 · marca de obra “p”

A programming logic

de R. L. Constable

Materias

Computer programs
PL/CV (Computer program language)
Symbolic and mathematical Logic
Testing

Ediciones (1)

A programming logic (1978)
Winthrop Publishers · inglés

Más obras de R. L. Constable

Tapa de An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)

An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)

IImplementing mathematics with the Nuprl proof development sy

Implementing mathematics with the Nuprl proof development system

Tapa de Logic and Program Semantics

Logic and Program Semantics

Tapa de An introduction to the PL/CV2 programming logic

An introduction to the PL/CV2 programming logic

Ver todas las obras de R. L. Constable →

A programming logic — R. L. Constable | Cutter Number