Treffer: Computer aided verification

Titel:

Computer aided verification : 19th international conference ; proceedings / CAV 2007, Berlin, Germany, July 3 - 7, 2007. Werner Damm ... (ed.)

Verantwortlich:

Damm, Werner

Körperschaft:

Veröffentlicht:

Berlin : Springer, 2007

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 4590
alle Bände anzeigen

RVK-Notation:

Schlagworte:

ISBN:

9783540733676

DOI:

10.1007/978-3-540-73368-3

Zusatz-Informationen