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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 335003-1001 | ONLINE(335003.1) | | Elektronik Kütüphane |