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

covers.openlibrary.org_b_isbn_9783446216242-m.jpg

type:
book
isbn13:
9783446216242
author:
Wolfgang Ehrenberger.
publisher:
Hanser
year:
2002
lang:
ger
worldcat:
76321052
city:
München
form:
BA