25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
تنسيق الكتاب
تعليقات
لقطة التصنيف
اختر صف بالأسفل لتصفية التعليقات.
0
0
0
0
0
0
بصورة إجمالية
متوسط تقييم المستخدمين
مراجعة هذا الكتاب
شارك أفكارك مع القراء
مزيد من المعلومات
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
البائع
الناشر
تاريخ الإصدار
11 يونيو 2020
ردمك -الرقم الدولي المعياري للكتب-
978-3-030-17502-3
Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.
جدول المحتوى