Dimacs Workshop on Computer Aided Verification (5 results)
- Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 108.38
£ 7.63 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 127.23
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Brand New. illustrated edition edition. 628 pages. 10.25x7.50x1.50 inches. In Stock.
Computer-Aided Verification '90: Proceedings of a Dimacs Workshop June 18-21, 1990 (Dimacs Series in Discrete Mathematics and Theoretical Computer S)
Dimacs Workshop On Computer-Aided Verification; Clarke, E. M.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 178.63
£ 14.94 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. In English.
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 191.67
£ 7.91 shippingShips within U.S.A.Quantity: 1 available
Condition: New. Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits. Series: DIMACS: Series in Discrete Mathematics and Theoretical Computer Science. Num Pages: 628 pages, illustrations. BIC Classification: PBF; UY. Category: (P) Professional & Vocational. Dimension: 220. Weight in Grams: 1361. . 1991. hardcover. . . . . Books ship from the US and Ireland.…
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 220.71
£ 8.03 shippingShips from Ireland to U.S.A.Quantity: 1 available
Condition: New. Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits. Series: DIMACS: Series in Discrete Mathematics and Theoretical Computer Science. Num Pages: 628 pages, illustrations. BIC Classification: PBF; UY. Category: (P) Professional & Vocational. Dimension: 220. Weight in Grams: 1361. . 1991. hardcover. . . . .…
