Go back
Verification Induction Termination Analysis Festschrift For Christoph Walther On The Occasion Of His 60th Birthday Lnai 6463(1st Edition)
Authors:
Simon Siegler ,Nathan Wasser
Cover Type:Hardcover
Condition:Used
In Stock
Include with your book
Free shipping: April 04, 2024Popular items with books
Access to 3 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $76.98
Savings: $76.98(100%)