يعرض 1 - 2 نتائج من 2 نتيجة بحث عن 'Butler, Michael', وقت الاستعلام: 0.02s تنقيح النتائج
1
Formal Methods and Software Engineering
بواسطة Butler, Michael, Hinchey, Michael G., Larrondo-Petrie, Maria M.
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
2
Abstract State Machines, Alloy, B, TLA, VDM, and Z
بواسطة Butler, Michael, Raschke, Alexander, Hoang, Thai Son, Reichl, Klaus
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني