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
The deductive foundations of computer programming

Tapa de The deductive foundations of computer programming

Número de Cutter-SanbornM282dEntrada «Mann, M.» → 282 · marca de obra “d”

The deductive foundations of computer programming

Materias

Computer programming
Symbolic and mathematical Logic
Logic, symbolic and mathematical
Electronic digital computers, programming

Ediciones (2)

The deductive foundations of computer programming (1993)
Addison-Wesley Pub. Co. · inglés
The deductive foundations of computer programming (1993)
Addison-Wesley · inglés

Más obras de Zohar Manna

The deductive foundations of computer programming — Zohar Manna | Cutter Number

Tapa de The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

Tapa de The Temporal Logic of Reactive and Concurrent Systems

The Temporal Logic of Reactive and Concurrent Systems

Tapa de Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Tapa de The Calculus of Computation

The Calculus of Computation

LLogcl Basis Cmpt Prog V1

Logcl Basis Cmpt Prog V1

SSTeP, the Stanford Temporal Prover

STeP, the Stanford Temporal Prover

Ver todas las obras de Zohar Manna →