Custom cover image
Programmverifikation : sequentielle, parallele und verteilte Programme / Krzysztof R. Apt; Ernst-Rüdiger Olderog
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German Series: Springer-LehrbuchPublisher: Berlin ; Heidelberg [u.a.] : Springer, 1994Description: XII, 258 S. ; 24 cmISBN:- 3540574794
| Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | E.Apt | Bibliothek / frei aufgestellt | E.Apt(18819) | ;b | Available | 000214456090 |
Total holds: 0