Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2013
شابک
978-3-642-38873-6
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران