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 (Redaktör)
Inga betyg ännu
2013 · Engelska · Pocketbok · 2 utgåvor
Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal

Beskrivning

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

Bokdetaljer

Format Pocketbok
Sidor 192 sidor
Språk Engelska
Publicerad Jun 9, 2013
Förlag Springer
Upplagor 2 utgåvor
ISBN-10 3642388752
ISBN-13 9783642388750
Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal