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

Verifikation, Modellprüfung und abstrakte Interpretation: 25th International Co

Ø 0.0
0 Bewertungen
127,53 €

Program and system verification;. Verification, Model Checking, and Abstract Interpretation by Rayna Dimitrova, Ori Lahav, Sebastian Wolff. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions.

Jetzt bei Ebay: