Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen / Hans Eckert
Resource type: Ressourcentyp: BuchBookLanguage: German Series: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 144Publisher: Muenchen [u.a.] : Oldenbourg, 1985Description: 222 S : graph. Darst ; 23 cmISBN:- 3486289616
- 004.65
Item type | Home library | Shelving location | Call number | Status | Barcode | |
---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 85 A 2633 | Available | 19045988 |
Total holds: 0