Media type: Book Title: Programmentwicklung und Verifikation Contributor: Futschek, Gerald [Author] imprint: Wien [u.a.]: Springer, 1989 Published in: Springers angewandte Informatik Extent: IX, 183 S.; graph. Darst Language: German ISBN: 3211818677; 0387818677 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 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Keywords: Softwareentwicklung Programmverifikation Softwareentwicklung Programmverifikation Origination: Footnote: Literaturverz. S. [179]
Departmental Library DrePunct – stack Shelf-mark: 0891 80202 001 Item ID: 10012650 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order