The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday : 13360 by Wolfgang Ahrendt - Paperback

The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday : 13360 by Wolfgang Ahrendt - Paperback

AED504.94
(0) Write a Review
SKU:
9783031081651
UPC:
9783031081651

Product Description

ISBN: 9783031081651
TITLE: The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday : 13360
AUTHOR: Wolfgang Ahrendt
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 16 Jun 2022

Other Details

ISBN:
9783031081651
Author:
Wolfgang Ahrendt
Publisher:
Springer International Publishing AG
Publisher Date:
Published:16 Jun 2022
Book Format:
Paperback

Related Products

Popular Trending Products