Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen / Hans Eckert

Von:

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:

Reportnummer: BER NR 144Schlagwörter:

Genre/Form:

DDC-Klassifikation:

RVK: RVK: ST 200 | SI 210Hochschulschriftenvermerk: Zugl.: Bonn, Univ., Diss. : 1983 Call number: Grundsignatur: 85 A 2633PPN: PPN: 01298714X

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	85 A 2633	Verfügbar	19045988

Anzahl Vormerkungen: 0