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

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

AED303.69
(0) Write a Review
SKU:
9783319633893
UPC:
9783319633893

Product Description

ISBN: 9783319633893
TITLE: Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II : 10427
AUTHOR: Rupak Majumdar
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 13 Jul 2017

Other Details

ISBN:
9783319633893
Author:
Rupak Majumdar
Publisher:
Springer International Publishing AG
Publisher Date:
Published:13 Jul 2017
Book Format:
Paperback

Related Products

Popular Trending Products