Go back

Verification Induction Termination Analysis Festschrift For Christoph Walther On The Occasion Of His 60th Birthday(2010 Edition)

Authors:

Simon Siegler ,Nathan Wasser

Free verification induction termination analysis festschrift for christoph walther on the occasion of his 60th
4 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $38.78 Savings: $38.78(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Verification Induction Termination Analysis Festschrift For Christoph Walther On The Occasion Of His 60th Birthday

Price:

$9.99

/month

Book details

ISBN: 3642171710, 978-3642171710

Book publisher: Springer