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 (Redacteur)
Nog geen beoordelingen
2013 · Engels · Paperback · 2 edities
Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren

Beschrijving

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

Boekdetails

Formaat Paperback
Pagina's 192 pagina's
Taal Engels
Gepubliceerd Jun 9, 2013
Uitgever Springer
Edities 2 edities
ISBN-10 3642388752
ISBN-13 9783642388750
Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren