Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II by Majumdar Rupak Majumdar - Paperback

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II by Majumdar Rupak Majumdar - Paperback

AED620.00
(0) Write a Review
SKU:
9783319633916
UPC:
9783319633916

Product Description

ISBN: 9783319633916
TITLE: Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
AUTHOR: Majumdar Rupak Majumdar
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 17 Jul 2017

Other Details

ISBN:
9783319633916
Author:
Majumdar Rupak Majumdar
Publisher:
Springer Nature B.V.
Publisher Date:
Published:17 Jul 2017
Book Format:
Paperback

Related Products

Popular Trending Products