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

This book offers lectures from the 2013 International School on Formal Methods for Design of Computer, Communication & Software Systems on chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, automata-based models and more.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bernardo, Marco, de Vink, Erik, Di Pierro, Alessandra, Wiklicky, Herbert
Format:	Buch
Sprache:	eng
Schlagworte:	Computer networks Computer programming, programs, data Computer software Formal methods (Computer science) Formal methods (Computer science)-Congresses Software architecture
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	This book offers lectures from the 2013 International School on Formal Methods for Design of Computer, Communication & Software Systems on chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, automata-based models and more.