programming and proof system ATES; advanced techniques integration into efficient scientific software

Author Statement

Armand Puccetti (ed)

Publication

Springer

Publication Year

1991

Collation

viii, 341 p.: ill, diagrs

Series

Research reports ESPRIT, ATES, v.1

Bibliography

Includes bibliographies

Subject

Computer software

ADDED ENTRIES

Puccetti, Armand, ed , ^dSeries: Research reports ESPRIT, ATES, v.1

Main Class

005

Sub Class

.33

Cutter no

P964

وارد كنندة اطلاعات

Rezvany 0206^d// , faraz^d2003/04/26 14:31:36

Link To Document