Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Computer aided verification

Titel:

Computer aided verification : 13th international conference ; proceedings / CAV 2001, Paris, France, July 18 - 22, 2001. Gérard Berry ... (ed.)

Beteiligt:

Körperschaft:

Veröffentlicht:

Berlin : Springer, 2001

Umfang:

XIII, 520 Seiten : Diagramme ; 24 cm

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; Vol. 2102
alle Bände anzeigen

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

3540423451

Zusatz-Informationen