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
Specifying systems

Tapa de Specifying systems

Número de Cutter-SanbornL238sEntrada «Lampi» → 238 · marca de obra “s”

Specifying systems

de Leslie Lamport

Materias

Computer systems
Specifications
Symbolic and mathematical Logic
System design
Logic, symbolic and mathematical
Logic
Logic & foundations of mathematics
Computer architecture/engineering

Ediciones (3)

Specifying systems (2003)

Specifying systems — Leslie Lamport | Cutter Number

Addison-Wesley · inglés

Specifying systems (2003)

Addison-Wesley · inglés

Specifying Systems (2002)

Addison-Wesley Professional · inglés · ISBN 9780321143068

Más obras de Leslie Lamport

Tapa de Latex Companions

Latex Companions

MMarketing Insert for the LaTeX Companions Boxed Set

Marketing Insert for the LaTeX Companions Boxed Set

EEmpty Box for the LaTeX Companions Boxed Set

Empty Box for the LaTeX Companions Boxed Set

Tapa de Latex Document Preparation System Users

Latex Document Preparation System Users

Tapa de LATEX

LATEX

Ver todas las obras de Leslie Lamport →