Media type: Book Title: Programmverifikation : sequentielle, parallele und verteilte Programme Contributor: Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author] imprint: Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Springer-Lehrbuch Extent: XII, 258 S.; 24 cm Language: German ISBN: 3540574794 RVK notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge ST 140 : Semantik von Programmiersprachen Keywords: Programmverifikation Programmverifikation Origination: Footnote: Literaturverz. S. [245] - 250
Departmental Library DrePunct – open access area Shelf-mark: ST 140 A655 Item ID: 30806013 Status: Loanable
Departmental Library DrePunct – stack Shelf-mark: R2013 8 242 Item ID: 30084664 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order