===== Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software =====

<block right>
{{http://covers.openlibrary.org/b/isbn/9783446216242-M.jpg}}
</block>

---- dataentry book ----
type: book
isbn13: 9783446216242
author: Wolfgang Ehrenberger.
publisher: Hanser
year: 2002
lang: ger
origlang: 
worldcat_oclc: 76321052
city: München
edition: 
form_onix: BA
lccns: 
borrower_user:
borrowdate_dt:
----