Eintrag weiter verarbeiten
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008...
Gespeichert in:
Personen und Körperschaften: | , , , , , , , , , , , , , , , , , |
---|---|
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: | |
Buchausg. u.d.T.: | Model checking software, Berlin : Springer, 2008, X, 343 S. |
Quelle: | Verbunddaten SWB |