The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

by Bernhard Beckert (Editor), Bernhard Beckert (Editor), Wolfgang Ahrendt (Editor), Richard Bubel (Editor), Einar Broch Johnsen (Editor)

$93.62

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 533
 Edition: 1st ed. 2022
ISBN 13: 9783031081651