Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
type
:
book
isbn13
:
9783446216242
author
:
Wolfgang Ehrenberger.
publisher
:
Hanser
year
:
2002
lang
:
ger
worldcat
:
76321052
city
:
München
form
:
BA