Cover of The Programming and Proof System ATES : Advanced Techniques Integration into Efficient Scientific Software by Puccetti, Armand, Brocard, D., Gagert, P., ISBN 9783540541882
General

The Programming and Proof System ATES : Advanced Techniques Integration into Efficient Scientific Software

PROGRAMMING & PROOF SYSTEM ATE

Contributor(s): Editor , Author , Author Format: Paperback

Paperback Β· ISBN 9783540541882

β‚Ή11,351 2%
β‚Ή11,609

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783540541882
Subtitle PROGRAMMING & PROOF SYSTEM ATE
Publisher Springer
Publication date July 1991
Language English
MRP Β£89.99 GBP
Page count 352
Item weight 124 g

The Programming and Proof System ATES : Advanced Techniques Integration into Efficient Scientific Software published by Springer.