Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996

. Ed(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J.

ISBN 10: 0821805797 ISBN 13: 9780821805794
Published by American Mathematical Society, 1997
Language: English
Condition: New Hardcover

Sold by Kennys Bookstore, Olney, MD, U.S.A.

AbeBooks Seller since 9 October 2009

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


New - Hardcover

Condition: New

Price:
£ 128.11
£ 7.69 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket