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

Verification, Model Checking, and Abstract Interpretation: 17th International Co

Ø 0.0

0 Bewertungen

69,15 €

Abstract Interpretation. - Dynamic and Static Verification. - Probabilistic Systems. - Concurrent Programs. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selectedfrom 67 submissions.

Jetzt bei Ebay:

ISBN-13:

9783662491218
Book Title:

Verification, Model Checking, and Abstract Interpretation
ISBN:

9783662491218

None:

International Standard : tracked-no signature (7 to 15 business days) 32,85 EUR - Lieferung zwischen 20. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Irak , ... und weitere