Formal modeling and analysis of timed systems 11th international conference ; proceedings
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2013
شابک
978-3-642-40228-9
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
978-3-642-40228-9
دیدگاه کاربران