Del 9933
Critical Systems: Formal Methods and Automated Verification
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Häftad
549 kr
AvGidon Ernst,Matthias Güdemann
Del 15765 i serien Lecture Notes in Computer Science
796 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.