Media type: Book Title: Formal specification : techniques and applications Contributor: Nissanke, Nimal [Author] imprint: London; Berlin; Heidelberg [u.a.]: Springer, 1999 Extent: XVII, 295 S Language: English ISBN: 1852330023 RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge ST 140 : Semantik von Programmiersprachen ST 130 : Allgemeines Keywords: Formale Spezifikationstechnik Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik Formale Spezifikationstechnik Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik Origination: Footnote: Literaturverz. S. 289 - 291
Departmental Library DrePunct – stack Shelf-mark: 1999 8 035632 001 Item ID: 30442627 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order