Otium BookshelfOtium
Caricamento sessione
← Esplora

Catalogo · 9780521875462

Reactive systems

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
ISBN 9780521875462

Descrizione non disponibile per questo libro.

Vedi su Google Bookspowered by Google

Communitas attorno al libro

Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.

Accedi per partecipare
Letture affini
Copertina di Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare
Copertina di Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
Luca Aceto
Copertina di Dostoevsky and Kant
Dostoevsky and Kant
Evgenia Cherkasova
Copertina di Letters from a Stoic
Letters from a Stoic
Seneca the Younger
Copertina di The Correspondence
The Correspondence
J. D. Daniels
Copertina di The picnic gourmet
The picnic gourmet
Joan Hemingway
Copertina di Filosofia dell'arredamento
Filosofia dell'arredamento
Mario Praz
Copertina di CHINA Portrait of a People
CHINA Portrait of a People
Tom Carter
Copertina di Biofabrication
Biofabrication
Ritu Raman
Copertina di Bible
Bible
Bible
Copertina di Laws, etc
Laws, etc
Great Britain.
Copertina di Oliver Twist
Oliver Twist
Charles Dickens
Altri libri di Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
Copertina di Automata, Languages and Programming
Automata, Languages and Programming
Luca Aceto
Copertina di Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
Luca Aceto, Anna Ingólfsdóttir
Copertina di Action refinement in process algebras
Action refinement in process algebras
Luca Aceto
Verba volant · scripta manent