Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Title:
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Author:
Bertacco, Valeria. editor.
ISBN:
9783319030777
Physical Description:
XX, 366 p. 147 illus. online resource.
Series:
Lecture Notes in Computer Science, 8244
Subject Term:
Computer science.

Computer Communication Networks.

Software engineering.

Logic design.

Artificial intelligence.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Artificial Intelligence (incl. Robotics).

Mathematical Logic and Formal Languages.
Added Author:
Legay, Axel.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
http://dx.doi.org/10.1007/978-3-319-03077-7
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 332962-1001 ONLINE(332962.1)
Searching...

On Order