Integrated Formal MethodsWolfgang Ahrendt
Integrated Formal Methods
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2019
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 571
- ISBN
- 9783030349677
מקור הנתונים: Wikidata
עוד של Wolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal MethodsWolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt · 2022
Tests and ProofsWolfgang Ahrendt
Tests and Proofs
Wolfgang Ahrendt · 2020
Deductive Software Verification : Future PerspectivesWolfgang Ahrendt
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt · 2020
Deductive Software Verification - the KeY BookWolfgang Ahrendt
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt · 2017