 ;/LC.GIF&client=easterncarolinaedu)
The Programming and proof systems ATES : advanced techniques integration into efficient scientific software / with contributions by D. Brocard [and others] ; Armand Puccetti (ed.).
| Other author | Brocard, D. |
| Other author | Puccetti, A. (Armand), 1961- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1991. |
| Description | viii, 341 pages : illustrations ; 25 cm. |
| Subjects |
| Series | Research reports ESPRIT. Project 1158, ATES ; vol. 1 Research reports ESPRIT. Project 1158, ATES ; vol. 1. ^A282595 |
| Bibliography note | Includes bibliographical references. |
| LCCN | 91020311 |
| ISBN | 3540541888 (Springer-Verlag Berlin Heidelberg New York : alk. paper) ; |
| ISBN | 0387541888 (Springer-Verlag New York Berlin Heidelberg : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.6.P75138 1991 | ✔ Available | Place Hold |