AnyBook4Less.com - ISBN: 0821805797 - Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, vol 29) by Doron A. Peled

AnyBook4Less.com

Find the Best Price on the Web
Order from a Major Online Bookstore

Home | Store List | FAQ | Contact Us |

Ultimate Book Price Comparison Engine
Save Your Time And Money

Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, vol 29)

Please fill out form in order to compare prices

Title: Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, vol 29)
by Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann, Artial Order Methods in Verification Sta
ISBN: 0-8218-0579-7
Publisher: American Mathematical Society
Pub. Date: January, 1997
Format: Hardcover
Volumes: 1
List Price(USD): $85.00

Your Country
Currency
Delivery
Include Used Books
Are you a club member of: Barnes and Noble Books A Million Chapters.Indigo.ca

Thank you for visiting www.AnyBook4Less.com and enjoy your savings!