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 J
J. W. de Bakker

Número de Cutter-SanbornB168Entrada de tabla «Baker, M.»

J. W. de Bakker

1939 · 19 obras en el catálogo

Obras

Tapa de A Decade of concurrency

A Decade of concurrency

Tapa de Stepwise refinement of distributed systems

Stepwise refinement of distributed systems

FFoundations of computer science

Foundations of computer science

FFoundations of computer science III

Foundations of computer science III

Tapa de Logic programming languages

Logic programming languages

FFoundations of computer science IV

Foundations of computer science IV

Tapa de Mathematics and computer science

Mathematics and computer science

Tapa de Ten years of concurrency semantics

Ten years of concurrency semantics

Tapa de PARLE

PARLE

Tapa de PARLE

PARLE

Tapa de Languages for parallel architectures

Languages for parallel architectures

FFoundations of computer science II

Foundations of computer science II

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

Tapa de Control flow semantics

Control flow semantics

1996

Tapa de Mathematical theory of program correctness

Mathematical theory of program correctness

1980

OOn convex sublattices of distributive lattices

On convex sublattices of distributive lattices

1967

RRecursive procedures

Recursive procedures

1971

Tapa de Formal definition of programming languages

Formal definition of programming languages

1967

FFormal definition of programming languages, with an applicat

Formal definition of programming languages, with an application to the definition of ALGOL 60

J. W. de Bakker (1939–) — obras y número de Cutter | Cutter Number