> Detailanzeige

Groce, Alex [HerausgeberIn]; Musuvathi, Madanlal [Sonstige Person, Familie und Körperschaft] ; International SPIN Workshop 18 2011 Snowbird, Utah

Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; proceedings

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: Buch; Konferenzbericht
Titel: Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; proceedings
Beteiligte: Groce, Alex [Hrsg.]; Musuvathi, Madanlal [Sonstige Person, Familie und Körperschaft]
Veranstaltung: International SPIN Workshop
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6823
Umfang: X, 193 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3642223052; 9783642223051
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80073624
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Model Checking
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science