.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Hardware and Software - Verification and Testing
N/A
€ 66.95
FREE Delivery in Ireland
Description for Hardware and Software - Verification and Testing
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 279 pages, biography. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 444.
This volume contains the proceedings of the 3rd Haifa Veri?cation Conference (HVC 2007),whichtookplacein Haifa during October 2007.HVC isa forumfor researchers from both industry and academia to share and advance knowledge in the veri?cation of hardware and software systems. Academic research in veri?cation is generally divided into two paradigms - formal veri?cation and dynamic veri?cation (testing). Within each paradigm, di?erent algorithms and techniques are used for hardware and softwaresystems. Yet,attheircore,allofthesetechniquesaimtoachievethesamegoalofensuring the correct functionality of a complicated system. HVC is the only conference that brings together researchers from all four ?elds, thereby encouraging the migration of methods and ideas between domains. With ... Read more
This volume contains the proceedings of the 3rd Haifa Veri?cation Conference (HVC 2007),whichtookplacein Haifa during October 2007.HVC isa forumfor researchers from both industry and academia to share and advance knowledge in the veri?cation of hardware and software systems. Academic research in veri?cation is generally divided into two paradigms - formal veri?cation and dynamic veri?cation (testing). Within each paradigm, di?erent algorithms and techniques are used for hardware and softwaresystems. Yet,attheircore,allofthesetechniquesaimtoachievethesamegoalofensuring the correct functionality of a complicated system. HVC is the only conference that brings together researchers from all four ?elds, thereby encouraging the migration of methods and ideas between domains. With ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
279
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
267
Place of Publication
Berlin, Germany
ISBN
9783540779643
SKU
V9783540779643
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Hardware and Software - Verification and Testing