Pratt Vaughan (1 results)

Author:

Refine with Advanced Search

Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Peled, Doron A. (Editor)/ Pratt, Vaughan R. (Editor)/ Holzmann, Gerard J. (Editor)
Language: English
Published by Amer Mathematical Society, 1997
0821805797 / 9780821805794
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 82.24
US$ 16.92 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Hardcover. Condition: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.