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 (Redaktor)
Brak ocen
2013 · Angielski · Miękka okładka · Wydania: 2
Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki

Opis

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

Szczegóły książki

Format Miękka okładka
Strony 192 stron
Język Angielski
Opublikowany Jun 9, 2013
Wydawca Springer
Wydania Wydania: 2
ISBN-10 3642388752
ISBN-13 9783642388750
Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki