Media type: Book; Thesis Title: Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen Contributor: Eckert, Hans [Author] imprint: Muenchen [u.a.]: Oldenbourg, 1985 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 144 Extent: 222 S; graph. Darst; 23 cm Language: German ISBN: 3486289616 RVK notation: ST 200 : Allgemeines, Netzmanagement SI 210 : Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Berichte Keywords: Kommunikationsprotokoll > Verifikation Programmverifikation > Kommunikationsprotokoll Origination: University thesis: Zugl.: Bonn, Univ., Diss. : 1983 Footnote:
Central Library – stack Shelf-mark: 0785 00227 001 Item ID: 31066448 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.