Benutzerdefiniertes Cover
Programmverifikation : sequentielle, parallele und verteilte Programme / Krzysztof R. Apt; Ernst-Rüdiger Olderog
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Springer-LehrbuchVerlag: Berlin ; Heidelberg [u.a.] : Springer, 1994Beschreibung: XII, 258 S. ; 24 cmISBN:- 3540574794
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Exemplarnummer | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | E.Apt | Bibliothek / frei aufgestellt | E.Apt(18819) | ;b | Verfügbar | 000214456090 |
Anzahl Vormerkungen: 0