Media type: Book Title: Formal development of programs and proofs Contains: Literaturangaben Contributor: Dijkstra, Edsger W. [Hrsg.] imprint: Reading, Mass. [u.a.]: Addison-Wesley, 1990 Published in: UT Year of programming series Extent: XIV, 242 S.; Ill Language: English ISBN: 0201172372 RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Keywords: Programmverifikation Programmverifikation Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 0892 80614 002 Item ID: 30805339 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order