Eintrag weiter verarbeiten
Online-Ressource

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften: Donaldson, Alastair (Sonstige)
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:
Logic design
Computer Science
Computer science
Software engineering
Compilers (Computer programs).
Konferenzschrift > 2012 > Oxford
Buchausg. u.d.T.: Model checking software, Berlin : Springer, 2012, X, 260 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz