Pratt Vaughan (9 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.77
US$ 5.64 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$ 27.78
US$ 20.33 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.45
US$ 56.75 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.
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.97
US$ 16.94 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.
- Hardcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 165.85
Free ShippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardback. Condition: New. This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, model-check…ing, automata and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The book also includes a lively e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.
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.40
US$ 11.00 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: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
US$ 158.59
US$ 88.08 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardback. Condition: New. This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, model-check…ing, automata and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The book also includes a lively e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.
