Abz 2014
The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, Tla, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2014
نویسنده
Klaus-Dieter Scheweناشر
Springerشابک
9783319075112
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران