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
: 
http://dx.doi.org/10.1007/978-3-642-35873-9


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book334073-1001ONLINE(334073.1)Elektronik Kütüphane