Testen, Analysieren und Verifizieren von Software: Arbeitskreis "Testen, Analysieren Und Verifizieren Von Software" Der Fachgruppe . . . Aktuell) (German And English Edition) (Informatik aktuell)

Verifizieren

von: Peter Liggesmeyer · Harry M. Sneed · Andreas Spillner

Taschenbuch

ISBN-13: 978-3-540-55860-6

ISBN-10: 3-540-55860-8

Springer · 1992