Result: Verification, induction, termination analysis

*Title*:

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

*Author/editor-in-chief*:

*Publication*:

Berlin : Springer, 2010

*Physical description scale*:

143 Seiten : Illustrationen, Diagramme

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 6463
*show_all_volumes*

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9783642171710

*Result*: Verification, induction, termination analysis