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: 26th International Co

Ø 0.0
0 Bewertungen
85,93 €

Verification, Model Checking, and Abstract Interpretation by Sriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan. The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.

Jetzt bei Ebay: