Media type: Book Title: Program verification Contributor: Francez, Nissim [Author] Published: Wokingham [u.a.]: Addison-Wesley, 1993 Published in: International computer science series Issue: reprint Extent: XI, 312 S; graph. Darst; 24 cm Language: English ISBN: 0201416085 RVK notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Keywords: Programmverifikation Origination: Footnote: Literaturverz. S. 295 - 303
Departmental Library DrePunct – stack Shelf-mark: 93 8 44110 003 Item ID: 10118446 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order