Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
تاريخ النشر: 21/05/2014
الناشر: Springer
ترجمة، تحقيق: Yamine Ait Ameur
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 354
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783662436516