Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
تاريخ النشر: 03/01/2013
الناشر: Springer
ترجمة: Bernhard Beckert
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 368
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783642358869