Custom cover image
The programming and proof system ATES : advanced techniques integration into efficient scientific software / Armand Puccetti (ed.). With contributions by Didier Brocard ..
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Research reports ESPRIT / 1158 ; 1Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1991Description: VIII, 341 S : illISBN:- 3540541888
- 0387541888
- QA76.6
- 3
| Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 3172 | Available | 46200582090 | |||
| Handbibliothek | Fakultät für Informatik | E.Pro | Handbibliothek (Ausleihe und Einsicht nicht möglich) | E.Pro(16114) | Checked out Ausleihe und Einsicht nicht möglich | 19.03.2047 | 000183226090 |
Total holds: 0
Archivierung prüfen 20240511 DE-640 3 pdager