Web Services and Formal MethodsMaurice H. ter Beek

Web Services and Formal Methods
Maurice H. ter Beek, Niels Lohmann · 2013
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2013
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 161
- ISBN
- 9783642382291
מקור הנתונים: 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
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