Runtime Verification [E-Book] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann.
Saved in:
Full text |
|
Personal Name(s): | Barringer, Howard. |
Falcone, Ylies. / Finkbeiner, Bernd. / Havelund, Klaus. / Lee, Insup. / Pace, Gordon. / Roşu, Grigore. / Sokolsky, Oleg. / Tillmann, Nikolai. | |
Imprint: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
Physical Description: |
online resource |
Note: |
englisch |
ISBN: |
9783642166129 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
6418 |
Subject (LOC): |
LEADER | 01372nmm a22003735u 4500 | ||
---|---|---|---|
001 | u231252 | ||
003 | Springer | ||
020 | |a 9783642166129 | ||
035 | |a (Sirsi) a297177 | ||
035 | |a i9783642166129 | ||
041 | |a eng | ||
245 | 1 | 0 | |a Runtime Verification |h [E-Book] : |b First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / |c edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann. |
260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg, |c 2010. |e (Springer LINK) | ||
300 | |a online resource | ||
490 | |a Lecture notes in computer science ; |v 6418 | ||
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 Barringer, Howard. | |
700 | 1 | |a Falcone, Ylies. | |
700 | 1 | |a Finkbeiner, Bernd. | |
700 | 1 | |a Havelund, Klaus. | |
700 | 1 | |a Lee, Insup. | |
700 | 1 | |a Pace, Gordon. | |
700 | 1 | |a Roşu, Grigore. | |
700 | 1 | |a Sokolsky, Oleg. | |
700 | 1 | |a Tillmann, Nikolai. | |
856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-642-16612-9 |z Volltext |
908 | |a Konferenz | ||
915 | |a zzwFZJ2 | ||
949 | |a XX(297177.1) |w AUTO |c 1 |i 297177-1001 |l ELECTRONIC |m ZB |r N |s Y |t E-BOOK |u 26/7/2012 |x UNKNOWN |z UNKNOWN |1 ONLINE |2 KONFERENZ |