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