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, Alessandro Fantechi, Laura Semini · 2019
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2019
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 587
- ISBN
- 9783030309848
מקור הנתונים: Wikidata
עוד של Maurice H. ter Beek
Integrated Formal MethodsMaurice H. ter Beek
Integrated Formal Methods
Maurice H. ter Beek · 2022
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
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