Media type: Book Title: The formal description technique Estelle : results of the ESPRIT/SEDOS Project Other titles: Nebent.: SEDOS (software environment for the design of open distributed systems) contributions to Estelle Contains: Literaturangaben Contributor: Diaz, Michel [Hrsg.]; Ansart, Jean-Pierre [Other] Corporation: Europäische Kommission imprint: Amsterdam [u.a.]: North-Holland, 1989 Extent: VIII, 439 S.; graph. Darst; 25 cm Language: English ISBN: 0444871322 RVK notation: ST 200 : Allgemeines, Netzmanagement ST 250 : Einzelne Programmiersprachen (A-Z) Keywords: ESTELLE Spezifikationssprache Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 0889 80465 001 Item ID: 10119779 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order