Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen / Hans Eckert
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 144Verlag: Muenchen [u.a.] : Oldenbourg, 1985Beschreibung: 222 S : graph. Darst ; 23 cmISBN:- 3486289616
- 004.65
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 85 A 2633 | Verfügbar | 19045988 |
Anzahl Vormerkungen: 0