Integrated Formal MethodsMaurice H. ter Beek
Integrated Formal Methods
Maurice H. ter Beek, Rosemary Monahan · 2022
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2022
- שפה
- English
- הוצאה
- Springer International Publishing AG
- מהדורות
- 1
- ISBN
- 9783031077265
מקור הנתונים: Wikidata
עוד של Maurice H. ter Beek
Formal Methods for Industrial Critical SystemsMaurice H. ter Beek
Formal Methods for Industrial Critical Systems
Maurice H. ter Beek · 2020
Formal Methods – The Next 30 YearsMaurice H. ter Beek
Formal Methods – The Next 30 Years
Maurice H. ter Beek · 2019
From Software Engineering to Formal Methods and Tools, and BackMaurice H. ter Beek
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 SystemsMaurice H. ter Beek
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
Maurice H. ter Beek · 2017
Web Services and Formal MethodsMaurice H. ter Beek
Web Services and Formal Methods
Maurice H. ter Beek · 2013