![Cover image for Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday Cover image for Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Author:
Siegler, Simon. editor.
ISBN:
9783642171727
Physical Description:
XI, 145p. 30 illus. online resource.
Series:
Lecture Notes in Computer Science, 6463
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 6463
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-17172-7Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 193514-2001 | ONLINE | Searching... | Searching... |