Critical Systems: Formal Methods and Automated Verification
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Häftad, 2016
729 kr
Del 12045 i serien Lecture Notes in Computer Science
729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.