Home
Antiques & Collectibles
General
Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers : 4383 by Eyal Bin - Paperback

Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers : 4383 by Eyal Bin - Paperback

AED0.00

(0) Write a Review

SKU:: 9783540708889
UPC:: 9783540708889

Current Stock:

Product Description

ISBN: 9783540708889
TITLE: Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers : 4383
AUTHOR: Eyal Bin
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 9 Feb 2007

Other Details

ISBN:

9783540708889

Author:

Eyal Bin

Publisher:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Publisher Date:

Published:9 Feb 2007

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers : 4383 by Eyal Bin - Paperback

Product Description

Other Details

Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers : 5394 by Hana Chockler - Paperback

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers : 6504 by Sharon Barner - Paperback

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers : 7857 by Armin Biere - Paperback

Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings : 4899 by Karen Yorav - Paperback

Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers : 7261 by Kerstin Eder - Paperback

Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers : 4383 by Eyal Bin - Paperback

Write a Review

Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers : 4383 by Eyal Bin - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers : 5394 by Hana Chockler - Paperback

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers : 6504 by Sharon Barner - Paperback

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers : 7857 by Armin Biere - Paperback

Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings : 4899 by Karen Yorav - Paperback

Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers : 7261 by Kerstin Eder - Paperback