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 (Herausgeber)
Noch keine Bewertungen
2013 · Englisch · Taschenbuch · 2 Ausgaben
Zum Regal hinzufügen

Bewerte dieses Buch

Buchjournal exportieren

Beschreibung

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

Buchdetails

Format Taschenbuch
Seiten 192 Seiten
Sprache Englisch
Veröffentlicht Jun 9, 2013
Verlag Springer
Ausgaben 2 Ausgaben
ISBN-10 3642388752
ISBN-13 9783642388750
Zum Regal hinzufügen

Bewerte dieses Buch

Buchjournal exportieren