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)
by
ISBN 13: 9783642171710
Format: Paperback (145 pages) Publisher: Springer Published: 16 Nov 2010
Save for later
FREE UK DELIVERY 
FREE UK DELIVERY
30 Day Refund Guarantee
