Hardware and Software: Verification and Testing
Format:
ISBN13: 9783642341885
|9783642341885
Out of Stock
Overview
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
| ISBN-13 | 9783642341885 |
|---|---|
| ISBN-10 | 3642341888 |
| List Price | $72.00 |
| Format | - |
|---|---|
| Language | English |
| Pages | 263 pages |
| Publisher | |
| Published On | 2012-10-12 |
View All Offers
Sort by:
Price
