Title:
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Author:
Piterman, Nir. editor.
ISBN:
9783319262871
Edition:
1st ed. 2015.
Physical Description:
XVI, 293 p. 88 illus. in color. online resource.
Series:
Programming and Software Engineering, 9434
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-26287-1Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 518849-1001 | ONLINE | Searching... | Searching... |