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
Logics and Models of Concurrent Systems

Tapa de Logics and Models of Concurrent Systems

Número de Cutter-SanbornA655lEntrada «Apt» → 655 · marca de obra “l”

Logics and Models of Concurrent Systems

de Krzysztof R. Apt

Materias

Computer Communication Networks
Computer science
Parallel processing (electronic computers)
Electronic data processing, distributed processing

Ediciones (1)

Logics and Models of Concurrent Systems (1985)
Springer Berlin Heidelberg · inglés · ISBN 9783642824555

Más obras de Krzysztof R. Apt

Tapa de Constraint logic programming using ECLiPSe

Constraint logic programming using ECLiPSe

Tapa de New trends in constraints

New trends in constraints

Tapa de The Logic Programming Paradigm

The Logic Programming Paradigm

Tapa de Programmverifikation

Logics and Models of Concurrent Systems — Krzysztof R. Apt | Cutter Number

Programmverifikation

Tapa de Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Tapa de Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Ver todas las obras de Krzysztof R. Apt →