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
Reactive systems

Tapa de Reactive systems

Número de Cutter-SanbornA174rEntrada «Aces» → 174 · marca de obra “r”

Reactive systems

Materias

Expert systems (Computer science)
Validation
Verification
System design
Mathematical models
Computer software, verification
Computer science, mathematics

Ediciones (5)

Reactive Systems (2011)
Cambridge University Press · inglés · ISBN 9780511814105
Reactive Systems (2007)

Reactive systems — Luca Aceto | Cutter Number

Cambridge University Press · inglés · ISBN 9780511334122

Reactive Systems (2007)

Cambridge University Press · inglés · ISBN 9780511335358

Reactive systems (2007)

Cambridge University Press · inglés · ISBN 9780521875462

Reactive Systems (2003)

Cambridge University Press · inglés · ISBN 9780511333446

Más obras de Luca Aceto

RReactive Systems

Reactive Systems

Tapa de Automata, Languages and Programming

Automata, Languages and Programming

Tapa de Automata, Languages and Programming

Automata, Languages and Programming

Tapa de Models, Algorithms, Logics and Tools

Models, Algorithms, Logics and Tools

FFoundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Tapa de Action refinement in process algebras

Action refinement in process algebras

Ver todas las obras de Luca Aceto →