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

Verifikation

von Wolfgang Ehrenberger

Taschenbuch

ISBN-13: 978-3-446-21624-2

ISBN-10: 3-446-21624-3

Hanser Fachbuch · 2001