Hero image 0 of Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israe, (Paperback), 0 of 1
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israe, (Paperback)
(No ratings yet)
Key item features
- Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israe, (Paperback)
- Author: Springer
- ISBN: 9783642195822
- Format: Paperback
- Publication Date: 2011-03-17
- Page Count: 197
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateMarch, 2011
- Pages197
- Series titleNo Series
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days for just $1! Choose a plan at checkout.
Ships to
Arrives by Tomorrow
.Order within 5 hr
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $60.29
Try 30 days of Walmart+ for just $1!
T&C apply. Claim offer now
About this item
Product details
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
- Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israe, (Paperback)
- Author: Springer
- ISBN: 9783642195822
- Format: Paperback
- Publication Date: 2011-03-17
- Page Count: 197
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
March, 2011
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings, Book 1633, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings, Book 1633, (Paperback)
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Is, (Paperback) $53.99
$5399current price $53.99Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Is, (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on, (Paperback) $54.99
$5499current price $54.99Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on, (Paperback)
Déploiement de la TVIP sur les réseaux WiMAX, (Paperback) $56.18
$5618current price $56.18Déploiement de la TVIP sur les réseaux WiMAX, (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Herakli, (Paperback) $54.99
$5499current price $54.99Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Herakli, (Paperback)
Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June , (Paperback) $48.73
$4873current price $48.73Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June , (Paperback)
The International Library of Bioethics The Ethics of Rapid Tissue Donation (Rtd): Constructing a Formal and Substantial Informed Consent Process, Book 85, (Paperback) $54.99
$5499current price $54.99The International Library of Bioethics The Ethics of Rapid Tissue Donation (Rtd): Constructing a Formal and Substantial Informed Consent Process, Book 85, (Paperback)
Image Analysis and Recognition: 11th International Conference, Iciar 2014, Vilamoura, Portugal, October 22-24, 2014, Pro, (Paperback) $64.19
$6419current price $64.19Image Analysis and Recognition: 11th International Conference, Iciar 2014, Vilamoura, Portugal, October 22-24, 2014, Pro, (Paperback)
Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, Refsq 2018, Utrecht, t, (Paperback) $61.06
$6106current price $61.06Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, Refsq 2018, Utrecht, t, (Paperback)
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the, (Paperback) $54.99
$5499current price $54.99Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the, (Paperback)
Audit Quality: Association Between Published Reporting Errors and Audit Firm Characteristics, (Paperback) $56.14
$5614current price $56.14Audit Quality: Association Between Published Reporting Errors and Audit Firm Characteristics, (Paperback)
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, U, (Paperback) $54.99
$5499current price $54.99Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, U, (Paperback)
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected, (Paperback) $54.99
$5499current price $54.99Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected, (Paperback)
Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint Euro, (Paperback) $54.99
$5499current price $54.99Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint Euro, (Paperback)
Formal Aspects of Component Software: 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, R, (Paperback) $60.29
$6029current price $60.29Formal Aspects of Component Software: 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, R, (Paperback)
Fundamental Approaches to Software Engineering: 12th International Conference, Fase 2009, Held as Part of the Joint Euro, (Paperback) $54.99
$5499current price $54.99Fundamental Approaches to Software Engineering: 12th International Conference, Fase 2009, Held as Part of the Joint Euro, (Paperback)
Communications in Computer and Informati Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 201, Book 336, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 201, Book 336, (Paperback)
Lecture Notes in Computer Science Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 20, Book 2991, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 20, Book 2991, (Paperback)
Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, Asmta 2008 Nicosia, Cypru, (Paperback) $54.99
$5499current price $54.99Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, Asmta 2008 Nicosia, Cypru, (Paperback)
Image Analysis and Recognition: 11th International Conference, Iciar 2014, Vilamoura, Portugal, October 22-24, 2014, Pro, (Paperback) $60.29
$6029current price $60.29Image Analysis and Recognition: 11th International Conference, Iciar 2014, Vilamoura, Portugal, October 22-24, 2014, Pro, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
