Testen, Analysieren und Verifizieren von Software - Peter Liggesmeyer - Häftad | Bokus