Pirotte O Con (2 results)

Author:

Refine with Advanced Search

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)
Language: English
Published by Springer, 1991
3540541888 / 9783540541882
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
£ 112.93
£ 1.97 shipping
Ships within U.S.A.
Quantity: 15 available
Condition: New.
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)
Language: English
Published by Springer, 1991
3540541888 / 9783540541882
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
£ 169.87
£ 1.97 shipping
Ships within U.S.A.
Quantity: 15 available
Condition: As New. Unread book in perfect condition.