Top 40 halim cagri ates PDF Book Page 2

book image

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

Armand Puccetti (auth.), Armand Puccetti (eds.)
·349 Pages
·1991
·8.304 MB