Cover image for Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Title:
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Author:
Yahav, Eran. editor.
ISBN:
9783319133386
Edition:
1st ed. 2014.
Physical Description:
XVI, 302 p. 78 illus. online resource.
Series:
Programming and Software Engineering ; 8855
Subject Term:
Software engineering.

Computer logic.

Programming languages (Electronic computers).

Mathematical logic.

Computer communication systems.
Added Author:
Yahav, Eran.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
https://doi.org/10.1007/978-3-319-13338-6
Holds:

Copies:

Library
Click to Sort
Material Type
Click to Sort
Item Barcode
Click to Sort
Shelf Number
Click to Sort
Status
Click to Sort
Item Holds
Click to Sort
Searching...
 E-Book 489622-1001 ONLINE
Searching...