An edition of Logic of Software. a Tasting Menu of Formal Methods
(2022)
Logic of Software. a Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, and Einar Broch Johnsen
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Publish Date
2022
Publisher
Springer International Publishing AG,
Springer
Language
English
Pages
533
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Logic of Software. a Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
2022, Springer International Publishing AG, Springer
in English
303108165X 9783031081651
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| April 1, 2023 | Edited by ImportBot | import existing book |
| August 17, 2022 | Created by ImportBot | import new book |