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
Autores con W
Willem-Paul de Roever

Número de Cutter-SanbornR719Entrada de tabla «Roet»

Willem-Paul de Roever

· 8 obras en el catálogo

Obras

Tapa de Formal methods for components and objects

Formal methods for components and objects

Tapa de Formal methods for components and objects

Formal methods for components and objects

Tapa de Formal methods for components and objects

Formal methods for components and objects

Tapa de Concurrency verification

Concurrency verification

Tapa de Data refinement

Data refinement

1998

Tapa de Formal techniques in real-time and fault-tolerant systems

Formal techniques in real-time and fault-tolerant systems

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

CCompositionality : the Significant Difference

Compositionality : the Significant Difference

Willem-Paul de Roever — obras y número de Cutter | Cutter Number