Wolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen · 2022
פרטי הספר
- שנה
- 2022
- שפה
- English
- הוצאה
- Springer International Publishing AG
- מהדורות
- 1
- עמודים
- 533
- ISBN
- 9783031081651
מקור הנתונים: Wikidata
