Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
by
Giacobazzi, Roberto. editor.
Title
:
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Author
:
Giacobazzi, Roberto. editor.
ISBN
:
9783642358739
Physical Description
:
XI, 556 p. 123 illus. online resource.
Series
:
Lecture Notes in Computer Science, 7737
Subject Term
:
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics).
Added Author
:
Berdine, Josh.
Mastroeni, Isabella.
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 | 334073-1001 | ONLINE(334073.1) | | Elektronik Kütüphane |