Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I : 9206 by Daniel Kroening - Paperback

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I : 9206 by Daniel Kroening - Paperback

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

Product Description

ISBN: 9783319216898
TITLE: Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I : 9206
AUTHOR: Daniel Kroening
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 27 Jul 2015

Other Details

ISBN:
9783319216898
Author:
Daniel Kroening
Publisher:
Springer International Publishing AG
Publisher Date:
Published:27 Jul 2015
Book Format:
Paperback

Related Products

Popular Trending Products