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
Formal Specification Using Z (Computer Science)

Tapa de Formal Specification Using Z (Computer Science)

Número de Cutter-SanbornL724fEntrada «Lightf» → 724 · marca de obra “f”

Formal Specification Using Z (Computer Science)

de David Lightfoot · Publicada por primera vez en 1991

Materias

Z (computer program language)
Z (Computer program language)
Computer software
Development
Formal methods (Computer science)
Z (Langage de programmation)
Méthodes formelles (Informatique)

Ediciones (2)

Formal Specification Using Z (Computer Science) (2001)

Formal Specification Using Z (Computer Science) — David Lightfoot | Cutter Number

Palgrave Macmillan · inglés · ISBN 9780333763278

Formal Specification Using Z. (Computer Science) (1991)

Palgrave Macmillan · ISBN 9780333544082

Más obras de David Lightfoot

Tapa de Syntactic effects of morphological change

Syntactic effects of morphological change

Tapa de Verb movement

Verb movement

Tapa de Explanation in linguistics

Explanation in linguistics

Tapa de Computer Programming in PASCAL

Computer Programming in PASCAL

1992

DDown Private Lanes

Down Private Lanes

1991

Tapa de How new languages emerge

How new languages emerge

2006

Ver todas las obras de David Lightfoot →