Media type: Book Title: Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL Contains: Literaturverz. S. 409 - 414 Contributor: Turner, Kenneth J. [Hrsg.] imprint: Chichester [u.a.]: Wiley, 1993 Published in: Wiley series in communication and distributed systems Extent: XXVIII, 431 S; ill; 1 Diskette Language: English ISBN: 0471934550; 0471938432 RVK notation: ST 200 : Allgemeines, Netzmanagement ST 250 : Einzelne Programmiersprachen (A-Z) ST 240 : Programmiersprachen allgemein (Maschinenorientierte Programmiersprachen, problemorientierte prozedurale Sprachen, applikative und funktionale Sprachen) Keywords: ESTELLE LOTOS SDL Origination: Footnote: Auch ohne Diskette erschienen
Departmental Library DrePunct Shelf-mark: ST 140 T948 Item ID: 10366404 Status: Verfügbarkeit bitte in Prof Algebraische logische Grundlagen Informatik erfragen.