FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
تاريخ النشر: 02/06/2015
الناشر: Springer
ترجمة، تحقيق: Nikolaj Bjّrner
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 628
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319192482