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
Recursive program schemes

RRecursive program schemes

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

Recursive program schemes

de W.-P. de Roever · Publicada por primera vez en 1976

Materias

Semantics
Proof theory
Recursive programming
Programming languages (Electronic computers)

Ediciones (1)

Recursive program schemes (1976)
Mathematisch Centrum · 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

Recursive program schemes — W.-P. de Roever | Cutter Number

Tapa de Data refinement

Data refinement

1998

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 →