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
أضف إلى الرف

قيم هذا الكتاب

تصدير مجلة الكتاب