Custom cover image
Custom cover image

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen / Hans Eckert

By: 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
Report number: BER NR 144Subject(s): Genre/Form: DDC classification:
  • 004.65
RVK: RVK: ST 200 | SI 210Dissertation note: Zugl.: Bonn, Univ., Diss. : 1983 Call number: Grundsignatur: 85 A 2633PPN: PPN: 01298714X
Holdings
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