Media type: Book Title: Formal object-oriented development Contributor: Lano, Kevin [Author] Published: London; Heidelberg [u.a.]: Springer, 1995 Published in: Formal approaches to computing and information technology series ; FACIT Other titles: Extent: 422 S; graph. Darst; 24 cm Language: English ISBN: 3540199780 Origination: RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Software > Qualitätssicherung > Formale Spezifikationstechnik > Objektorientierung VDM > Z Software > Qualitätssicherung > Formale Spezifikationstechnik > Objektorientierung VDM > Z Footnote: Literaturverz. S. [318] - 331
Departmental Library DrePunct – stack Shelf-mark: 0496 19753 001 Item ID: 30423554 Status: Loanable, place order > Ordering possible ‒ please log in