Media type: Book Title: Specification case studies in RAISE Contributor: Van, Hung Dang [Hrsg.] imprint: London; Berlin; Heidelberg [u.a.]: Springer, c2002 Published in: Formal approaches to computing and information technology Extent: XV, 405 S; graph. Darst Language: English ISBN: 1852333596 RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Anwendungssystem > Softwareentwicklung > Softwarespezifikation > Entwurfsmuster > Spezifikationssprache > Formale Spezifikationstechnik Origination: Footnote: Includes bibliographical references
Departmental Library DrePunct – stack Shelf-mark: R2017 8 6086 Item ID: 30923586 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.