21195080
9783642171710
Out of Stock
The item you're looking for is currently unavailable.
Siegler, Simon is the author of 'Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)', published 2011 under ISBN 9783642171710 and ISBN 3642171710.
[read more]