Verification, Model Checking, and Abstract Interpretation: 9th International Con
67,31 €
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. - Program Analysis and Programming Languages for Security. - Abstract Interpretation of the Physical Inputs of Embedded Programs.
Jetzt bei Ebay: