Del 16145
Automated Technology for Verification and Analysis
Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan
Häftad
1 169 kr
Del 11969 i serien Lecture Notes in Computer Science
1 149 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.