Benutzerdefiniertes Cover
The foundations of program verification / Jacques Loeckx; Kurt Sieber. In collaboration with Ryan D. Stansifer
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Wiley-Teubner series in computer scienceVerlag: Stuttgart [u.a.] : Teubner [u.a.], 1984Beschreibung: IX, 230 S. : graph. Darst. ; 8"ISBN:- 3519021013
- 047190323X
- 001.64/2 19
- QA76.6
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Num. Math. / Loe | Verfügbar | 09036059349 | |||
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Num. Math. / Loe | Verfügbar | 09036059338 |
Anzahl Vormerkungen: 0