Eintrag weiter verarbeiten
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: | Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings/ edited by Alastair Donaldson ... |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg
Springer
2012
|
Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 7385 |
Schlagwörter: | |
Buchausg. u.d.T.: | Model checking software, Berlin : Springer, 2012, X, 260 S. |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |
RVK-Notation: |
SS 4800
Lecture notes in computer science
|
---|---|
Schlagwörter: |