-
RecordNumber
38687
-
Title
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 :
