> Detailanzeige

Gopalakrishnan, Ganesh [HerausgeberIn]; Qadeer, Shaz [Sonstige Person, Familie und Körperschaft] ; CAV 23 2011 Snowbird, Utah

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 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: Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings
Beteiligte: Gopalakrishnan, Ganesh [Hrsg.]; Qadeer, Shaz [Sonstige Person, Familie und Körperschaft]
Veranstaltung: CAV
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6806
Umfang: XVII, 763 S.; Ill., graph. Darst; 24 cm
Sprache: Englisch
ISBN: 3642221092; 9783642221095
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80073019
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Verifikation
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science