Media type: Book Title: Specification of software systems Contributor: Alagar, Vangalur S. [Author]; Periyasamy, K. [Author] imprint: London; Heidelberg [u.a.]: Springer, 2011 Published in: Texts in computer science Issue: 2. ed. [extensively rev. and updated] Extent: XXV, 644 S.; graph. Darst; 24 cm Language: English ISBN: 0857292765; 9780857292766 Publisher, production or purchase order numbers: Sonstige Nummer: 80012852 RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 230 A316(2) Item ID: 33154752 Status: Loanable