Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

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:
  • 3486289616
Reportnummer: BER NR 144Schlagwörter: Genre/Form: DDC-Klassifikation:
  • 004.65
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