Pratt Vaughan (10 results)
- Softcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 26.45
Free ShippingShips within U.S.A.Quantity: 15 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
US$ 24.71
US$ 5.62 shippingShips from United Kingdom to U.S.A.Quantity: 15 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 24.71
US$ 20.27 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. New copy - Usually dispatched within 4 working days.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 30.53
US$ 56.89 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. KlappentextrnrnUnlike some other reproductions of classic texts (1) We have not used OCR(Optical Character Recognition), as this leads to bad quality books with introduced typos. (2) In books where there are images such as portraits, maps, sketc.
- Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
US$ 128.42
US$ 7.93 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Peled, Doron A. (Editor)/ Pratt, Vaughan R. (Editor)/ Holzmann, Gerard J. (Editor)
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 148.60
US$ 16.90 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
. Ed(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J.
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 173.85
US$ 11.03 shippingShips from Ireland to U.S.A.Quantity: 1 available
Condition: New. Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling… concurrency. Editor(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 403 pages. BIC Classification: PBW; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 966. . 1997. hardcover. . . . .
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
. Ed(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J.
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 169.83
US$ 10.50 shippingShips within U.S.A.Quantity: 1 available
Condition: New. Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling… concurrency. Editor(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 403 pages. BIC Classification: PBW; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 966. . 1997. hardcover. . . . . Books ship from the US and Ireland.
- Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 164.92
US$ 27.99 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardback. Condition: New. New copy - Usually dispatched within 4 working days.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 191.92
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. In English.
