Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
by
Bertacco, Valeria. editor.
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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 332962-1001 | ONLINE(332962.1) | | Elektronik Kütüphane |