Verification, induction, termination analysis festschrift for Christoph Walther on the occasion of his 60th birthday /
This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 i...
Other Authors: | Walther, Christoph., Siegler, Simon., Wasser, Nathan., SpringerLink (Online service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2010.
Berlin ; New York : [2010] |
Physical Description: |
1 online resource (143 pages) : illustrations (some color). |
Series: |
Lecture notes in computer science ;
6463. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. Artificial intelligence. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |