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 (Editore)
Ancora nessuna valutazione
2013 · Inglese · Brossura · 2 edizioni
Aggiungi allo scaffale

Valuta questo libro

Esporta diario dei libri

Descrizione

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

Dettagli del libro

Formato Brossura
Pagine 192 pagine
Lingua Inglese
Pubblicato Jun 9, 2013
Editore Springer
Edizioni 2 edizioni
ISBN-10 3642388752
ISBN-13 9783642388750
Aggiungi allo scaffale

Valuta questo libro

Esporta diario dei libri