Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
تاريخ النشر: 06/10/2019
الناشر: Springer
ترجمة، تحقيق: Yu-Fang Chen
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 566
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783030317836