Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019,
(0)    
المرتبة: 401,140
تاريخ النشر: 16/10/2019
الناشر: Springer
ترجمة، تحقيق: Brijesh Dongol
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 264
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783030324407