Workshop Spin Verification System (4 results)
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 62.30
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 203 pages. 10.25x7.25x0.50 inches. In Stock.
The Spin Verification System: Dimacs Workshop, August 5, 1996
Workshop on the Spin Verification System (1996 New Brunswick, N. J.)
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 79.77
£ 8.17 shippingShips from Ireland to U.S.A.Quantity: 1 available
Condition: New. What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. Editor(s): Gregoire, Jean-Charles; etc.; Holzmann, Gerald; Peled, Doron A. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 203 pages, illustrations. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 624. . 1997. hardcover. . . . .…
The Spin Verification System: Dimacs Workshop, August 5, 1996
Workshop on the Spin Verification System (1996 New Brunswick, N. J.)
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 81.83
£ 7.93 shippingShips within U.S.A.Quantity: 1 available
Condition: New. What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. Editor(s): Gregoire, Jean-Charles; etc.; Holzmann, Gerald; Peled, Doron A. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 203 pages, illustrations. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 624. . 1997. hardcover. . . . . Books ship from the US and Ireland.…
The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Workshop On The Spin Verification System (1996 New Brunswick, N. J.); Gregoire, Jean-Charles; Holzmann, Gerard J.; Peled, Doron
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 91.21
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: New. In English.
