Home
Antiques & Collectibles
General
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II : 9207 by Daniel Kroening - Paperback

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

AED303.69

(0) Write a Review

SKU:: 9783319216676
UPC:: 9783319216676

Product Description

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

Other Details

ISBN:

9783319216676

Author:

Daniel Kroening

Publisher:

Springer International Publishing AG

Publisher Date:

Published:23 Jul 2015

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

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

Product Description

Other Details

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 : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II by Lahiri Shuvendu K. Lahiri - Paperback

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21???24, 2020, Proceedings, Part II : 12225 by Shuvendu K. Lahiri - Paperback

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings : 7358 by Madhusudan Parthasarathy - Paperback

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings by Parthasarathy Madhusudan Parthasarathy - Paperback

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

Write a Review

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

Add to Wishlist

Product Description

Other Details

Related Products

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 : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II by Lahiri Shuvendu K. Lahiri - Paperback

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21???24, 2020, Proceedings, Part II : 12225 by Shuvendu K. Lahiri - Paperback

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings : 7358 by Madhusudan Parthasarathy - Paperback

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings by Parthasarathy Madhusudan Parthasarathy - Paperback