Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Häftad
689 kr
Del 11812 - Lecture Notes in Computer Science
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.