ISBN 303108165X books & textbook
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Johnsen, Einar Broch
Springer /2022-06-16 Paperback / 536 Pages
isbn-10: 303108165X / isbn-13: 9783031081651
