> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL Enthält: Literaturverz. S. 409 - 414 Beteiligte: Turner, Kenneth J. [Herausgeber:in] Erschienen: Chichester [u.a.]: Wiley, 1993 Erschienen in: Wiley series in communication and distributed systems Umfang: XXVIII, 431 S; ill; 1 Diskette Sprache: Englisch 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) Schlagwörter: ESTELLE LOTOS SDL Entstehung: Anmerkungen: Auch ohne Diskette erschienen
Bereichsbibliothek DrePunct Signatur: ST 140 T948 Barcode: 10366404 Status: Verfügbarkeit bitte in Prof Algebraische logische Grundlagen Informatik erfragen.