Eintrag weiter verarbeiten
Buchumschlag von Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
Verfügbar über Online-Ressource

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008...

Gespeichert in:

Personen und Körperschaften: Hutchison, David (Sonstige), Nierstrasz, Oscar (Sonstige), Palsberg, Jens (Sonstige), Pandu Rangan, C. (Sonstige), Steffen, Bernhard (Sonstige), Sudan, Madhu (Sonstige), Terzopoulos, Demetri (Sonstige), Tygar, Doug (Sonstige), Vardi, Moshe Y. (Sonstige), Weikum, Gerhard (Sonstige), Havelund, Klaus (Sonstige), Kanade, Takeo (Sonstige), Kittler, Josef (Sonstige), Kleinberg, Jon (Sonstige), Majumdar, Rupak (Sonstige), Mattern, Friedemann (Sonstige), Mitchell, John C. (Sonstige), Naor, Moni (Sonstige)
Titel: Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings/ edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Klaus Havelund, Rupak Majumdar, Jens Palsberg
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2008
Gesamtaufnahme: SpringerLink
Springer eBook Collection
Lecture notes in computer science ; 5156
Schlagwörter:
SPIN (Computer file) > Congresses
Logic design
Computer Science
Computer science
Software engineering
Computer programming.
Compilers (Computer programs).
Computer softwar > Verification > Congresses
Konferenzschrift > 2008 > Los Angeles, Calif.
Buchausg. u.d.T.: Model checking software, Berlin : Springer, 2008, X, 343 S.
Quelle: Verbunddaten SWB