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
Synchronous programming of reactive systems

Tapa de Synchronous programming of reactive systems

Número de Cutter-SanbornH157sEntrada «Hal» → 157 · marca de obra “s”

Synchronous programming of reactive systems

de Nicolas Halbwachs

Materias

Programming languages (Electronic computers)
Real-time programming
LUSTRE (langage de programmation)
Systèmes homme-machine
LUSTRE
Signal
Echtzeitsprache
Programmation parallèle (informatique)
Vérification programme
Programmierung

Synchronous programming of reactive systems — Nicolas Halbwachs | Cutter Number

Langages de programmation

Système réactif

Ediciones (2)

Synchronous Programming of Reactive Systems (2013)
Springer London, Limited · inglés · ISBN 9781475722314
Synchronous programming of reactive systems (1993)
Kluwer Academic Publishers · inglés

Más obras de Nicolas Halbwachs

Tapa de Computer aided verification

Computer aided verification

TTools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

Ver todas las obras de Nicolas Halbwachs →