Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Verification, Model Checking, and Abstract Interpretation: 9th International Con

Ø 0.0
0 Bewertungen
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: