Media type: Book; Thesis Title: Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen Contributor: Herrmann, Peter [Author] imprint: Wiesbaden: DUV, Dt. Univ.-Verl. [u.a.], 1998 Published in: DUV ; Informatik Extent: XII, 276 S; graph. Darst Language: German ISBN: 3824421011 RVK notation: ST 200 : Allgemeines, Netzmanagement Keywords: Hochgeschwindigkeitskommunikation > Transportprotokoll > Systementwurf > Formale Methode Origination: University thesis: Zugl.: Dortmund, Univ., Diss., 1997 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 2006 8 010902 Item ID: 31492224 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.