Wolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen · 2022
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2022
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 1
- Pages
- 533
- ISBN
- 9783031081651
Data source: Wikidata
