Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday : 13065 by Ezio Bartocci - Paperback

Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday : 13065 by Ezio Bartocci - Paperback

AED332.44
(0) Write a Review
SKU:
9783030873479
UPC:
9783030873479

Product Description

ISBN: 9783030873479
TITLE: Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday : 13065
AUTHOR: Ezio Bartocci
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 28 Sep 2021

Other Details

ISBN:
9783030873479
Author:
Ezio Bartocci
Publisher:
Springer Nature Switzerland AG
Publisher Date:
Published:28 Sep 2021
Book Format:
Paperback

Related Products

Popular Trending Products