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
ZUM '95: The Z Formal Specification Notation

Tapa de ZUM '95: The Z Formal Specification Notation

Número de Cutter-SanbornB786zEntrada «Bowe» → 786 · marca de obra “z”

ZUM '95: The Z Formal Specification Notation

de Jonathan P. Bowen

Materias

Programming Techniques
Software engineering
Algebra
Symbolic and Algebraic Manipulation
Logic design
Logics and Meanings of Programs
Computer science
Data processing
Combinatorial analysis
Z (computer program language)

ZUM '95: The Z Formal Specification Notation — Jonathan P. Bowen | Cutter Number

Ediciones (1)

Zum '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 (1995)
Springer · inglés · ISBN 9783540602712

Más obras de Jonathan P. Bowen

Tapa de The Z formal specification notation

The Z formal specification notation

Tapa de ZB 2003

ZB 2003

Tapa de High-Integrity System Specification and Design

High-Integrity System Specification and Design

Tapa de The Z formal specification notation

The Z formal specification notation

Tapa de Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Tapa de Unifying Theories of Programming

Unifying Theories of Programming

Ver todas las obras de Jonathan P. Bowen →