Gagert (3 results)
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
£ 113.09
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 104.21
£ 41.78 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.
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
£ 170.12
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
