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 (Редактор)
Оценок пока нет
2013 · Английский · Мягкая обложка · Изданий: 2
Добавить на полку

Оценить эту книгу

Экспортировать журнал книг

Описание

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

Детали книги

Формат Мягкая обложка
Страницы 192 страниц
Язык Английский
Опубликовано Jun 9, 2013
Издатель Springer
Издания Изданий: 2
ISBN-10 3642388752
ISBN-13 9783642388750
Добавить на полку

Оценить эту книгу

Экспортировать журнал книг