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
Data refinement

Tapa de Data refinement

Número de Cutter-SanbornR719dEntrada «Roet» → 719 · marca de obra “d”

Data refinement

de W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt · Publicada por primera vez en 1998

Materias

Computer simulation
Verification
Data structures (Computer science)
Computer programs
Databases & data structures
Mathematical theory of computation
Science/Mathematics
Data Structures

Data refinement — W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt | Cutter Number

Computers - General Information

Networking - General

Database Management - General

Ediciones (4)

Data Refinement (2011)
Cambridge University Press · inglés · ISBN 9780511836503
Data Refinement (2010)
Cambridge University Press · inglés · ISBN 9780511663079
Data Refinement (2001)
Cambridge University Press · inglés · ISBN 9780521641708
Data refinement (1998)
Cambridge University Press · inglés

Más obras de W.-P. de Roever

Tapa de Data refinement

Data refinement

Tapa de A Decade of concurrency

A Decade of concurrency

Tapa de Stepwise refinement of distributed systems

Stepwise refinement of distributed systems

Tapa de Concurrency verification

Concurrency verification

RRecursive program schemes

Recursive program schemes

1976

Tapa de Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Ver todas las obras de W.-P. de Roever →