Programming Proof System Ates by Puccetti Armand (10 results)

- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Good
£ 22.53
£ 3.40 shippingShips within U.S.A.Quantity: 1 available
Condition: Good. 341 pp., softcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 106.71
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.

Programming and Proof System Ates : Advanced Techniques Integration into Efficient Scientific Software
Puccetti, Armand (EDT); Brocard, D. (CON); Gagert, P. (CON); Gribomont, P. (CON); Pirotte, O. (CON)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 124.37
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 143.07
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 352.

- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 103.58
£ 41.52 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Today, people use a large number of systems ranging in complexity from washing machines to international airline reservation systems. Computers are used in nearly all such systems: accuracy and security are becoming increasingly essential. The design of s.

- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 131.36
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 349 pages. 9.61x6.69x0.80 inches. In Stock.

- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 152.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Perfect Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Programming and Proof System Ates : Advanced Techniques Integration into Efficient Scientific Software
Puccetti, Armand (EDT); Brocard, D. (CON); Gagert, P. (CON); Gribomont, P. (CON); Pirotte, O. (CON)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 185.48
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.

- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 147.74
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 352 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 150.38
£ 8.43 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 352.