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
An introduction to the PL/CV2 programming logic

Tapa de An introduction to the PL/CV2 programming logic

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

An introduction to the PL/CV2 programming logic

de R. L. Constable

Materias

Computer programs
PL/CV (Computer program language)
Verification
PL/1
PL 1
Programmation (Informatique)
PL/CV (Langage de programmation)
Programmierung
PL/CS (Langage de programmation)
Programacao De Computadores

An introduction to the PL/CV2 programming logic — R. L. Constable | Cutter Number

Ediciones (1)

An introduction to the PL/CV2 programming logic (1982)
Springer-Verlag · 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 A programming logic

A programming logic

Ver todas las obras de R. L. Constable →