Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
by
 
Qadeer, Shaz. editor.

Title
: 
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Author
: 
Qadeer, Shaz. editor.

ISBN
: 
9783642356322

Physical Description
: 
XII, 322 p. 93 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 7687

Subject Term
: 
Computer science.
 
Software engineering.
 
Computer software.
 
Logic design.
 
Algorithm Analysis and Problem Complexity.
 
Logics and Meanings of Programs.
 
Programming Techniques.
 
Programming Languages, Compilers, Interpreters.
 
Mathematical Logic and Formal Languages.

Added Author
: 
Tasiran, Serdar.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-35632-2


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