booktheque

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković · 2020

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2020
שפה
English
הוצאה
Springer International Publishing AG
מהדורות
1
ISBN
9783030582975

מקור הנתונים: Wikidata

עוד של Maurice H. ter Beek

Integrated Formal Methods
Maurice H. ter Beek · 2022
Formal Methods – The Next 30 Years
Maurice H. ter Beek · 2019
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek · 2019
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
Maurice H. ter Beek · 2017
Web Services and Formal Methods
Maurice H. ter Beek · 2013