Search:

Type:

Format:

Library:

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings Cover Image

E-book

E-book

Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay.

Bertacco, Valeria. (editor.). Legay, Axel. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783319030777
Physical Description: XX, 366 p. 147 illus. online resource.
Publisher: Cham : Springer International Publishing : 2013.

Search for related items by subject

Subject:

Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Computer Communication Networks.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Additional Content

► Shelf Browser

► MARC Record