Custom cover image
The foundations of program verification / Jacques Loeckx; Kurt Sieber. In collaboration with Ryan D. Stansifer
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Wiley-Teubner series in computer sciencePublisher: Stuttgart [u.a.] : Teubner [u.a.], 1984Description: IX, 230 S. : graph. Darst. ; 8"ISBN:- 3519021013
- 047190323X
- 001.64/2 19
- QA76.6
| Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Num. Math. / Loe | Available | 09036059349 | |||
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Num. Math. / Loe | Available | 09036059338 |
Total holds: 0