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

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

Ø 0.0

0 Bewertungen

67,03 €

Invited Talks. - Invited Tutorials. - Behavior-Based Model Construction. - Automatic Verification by Abstract Interpretation. - Static Analysis. - CHASE:A Static Checker for JML's Assignable Clause.

Jetzt bei Ebay:

ISBN-13:

9783540003489
Book Title:

Verification, Model Checking, and Abstract Interpretation
ISBN:

9783540003489

None:

International Standard : tracked-no signature (7 to 15 business days) 37,42 EUR - Lieferung zwischen 07. July 2025 und 15. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Afghanistan , Armenien , Aserbaidschan , Bangladesch , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , Mongolei , ... und weitere