Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
by
 
Legay, Axel. editor.

Title
: 
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Author
: 
Legay, Axel. editor.

ISBN
: 
9783642407871

Physical Description
: 
XVII, 426 p. 113 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 8174

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
: 
Bensalem, Saddek.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-40787-1


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