Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala, David Schmidt
Häftad, 2011
739 kr
Del i serien Lecture Notes in Computer Science
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Del i serien Lecture Notes in Computer Science
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.