Runtime Verification [E-Book]: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen.
Khurshid, Sarfraz.
Sen, Koushik.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642298608
10.1007/978-3-642-29860-8
Lecture notes in computer science ; 7186
Full Text
LEADER 01208nam a22003255i 4500
001 978-3-642-29860-8
003 Springer
008 120511s2012 gw | s |||| 0|eng d
020 |a 9783642298608 
024 7 |a 10.1007/978-3-642-29860-8  |2 doi 
035 |a (Sirsi) a298554 
041 |a eng 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Runtime Verification  |h [E-Book]:  |b Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /  |c edited by Sarfraz Khurshid, Koushik Sen. 
260 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2012  |e (Springer LINK) 
300 |b digital. 
490 |a Lecture notes in computer science ;  |v 7186 
500 |a englisch 
596 |a 1 
650 0 |a Computer science. 
650 0 |a Computer software. 
650 0 |a Logic design. 
650 0 |a Software engineering. 
700 1 |a Khurshid, Sarfraz. 
700 1 |a Sen, Koushik. 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-29860-8  |z Volltext 
908 |a Konferenz 
915 |a zzwFZJ2 
932 |a Computer Science (Springer-11645) 
949 |a XX(298554.1)  |w AUTO  |c 1  |i 298554-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 27/7/2012  |x UNKNOWN  |z UNKNOWN  |1 ONLINE  |2 KONFERENZ