Tools and Algorithms for the Construction and Analysis of Systems :25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Dirk Beyer(editor)Marieke Huisman(editor)Fabrice Kordon(editor)Bernhard Steffen(editor)

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

تنسيق الكتاب

مجاني

تعليقات

لقطة التصنيف

اختر صف بالأسفل لتصفية التعليقات.

بصورة إجمالية

متوسط تقييم المستخدمين

مراجعة هذا الكتاب

شارك أفكارك مع القراء

مزيد من المعلومات

description_of_book

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

معلومات إضافية:

البائع

SpringerOpen

الناشر

SpringerOpen

تاريخ الإصدار

11 يونيو 2020

المؤلفين

Dirk Beyer(editor)Marieke Huisman(editor)Fabrice Kordon(editor)Bernhard Steffen(editor)

ردمك -الرقم الدولي المعياري للكتب-

978-3-030-17502-3

موضوعات

علوم الكمبيوتر وتكنولوجيا المعلومات مؤتمرات سبرينغر

عن المؤلفين:

Dirk Beyer(editor)

Full Professor, Head of Research Chair (Lehrstuhlinhaber) Software and Computational Systems Lab Institute for Informatics Ludwig-Maximilians-Universität München (LMU Munich)

Dirk Beyer(editor)

Marieke Huisman(editor)

Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.

Marieke Huisman(editor)

Fabrice Kordon(editor)

Professor at Sorbonne Université

Fabrice Kordon(editor)

Bernhard Steffen(editor)

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.

Bernhard Steffen(editor)

جدول المحتوى

العربية

تحمیل التطبیقات