Del 13505
Automated Technology for Verification and Analysis
Ahmed Bouajjani, Lukáš Holík, Zhilin Wu
Häftad
828 kr
AvAhmed Bouajjani,Hugues Fauconnier
Del 9466 i serien Lecture Notes in Computer Science
554 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.