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

von Wolfgang Ehrenberger Taschenbuch Details (Deutschland) ISBN-13: 978-3-446-21624-2 ISBN-10: 3-446-21624-3 Hanser Fachbuch · 2001