Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures

Marco Bernardo (Éditeur)
Pas encore d'évaluations
2013 · Anglais · Broché · 2 éditions
Ajouter à l'étagère

Évaluer ce livre

Exporter le journal de lecture

Description

Chaotic dynamics.- Information theory.- Systems biology.- Hybrid systems.- Quantum computing.- Automata-based models and model checking.

Détails du livre

Format Broché
Pages 192 pages
Langue Anglais
Publié Jun 9, 2013
Éditeur Springer
Éditions 2 éditions
ISBN-10 3642388752
ISBN-13 9783642388750
Ajouter à l'étagère

Évaluer ce livre

Exporter le journal de lecture