Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
تاريخ النشر: 19/07/2012
الناشر: Springer
ترجمة: Bernhard Beckert
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 264
مجلدات: 1
ردمك: 9783642317613