Reihe Design, Test and Verification of Embedded SystemsSven Reimer × Bekannte Unbekannte - Formale Methoden in Anwesenheit unbekannter Werte. Sven ReimerDer Andere VerlagSoftcover201641,90 €
