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

Treffer: Verification, induction, termination analysis

Titel:

Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60th birthday / Simon Siegler ... (eds.)

Beteiligt:

Veröffentlicht:

Berlin : Springer, 2010

Umfang:

143 Seiten : Illustrationen, Diagramme

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

9783642171710

Zusatz-Informationen