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

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

Name: Verification, Model Checking, and Abstract Interpretation: 5th International Con
SKU: 146696031619
Price: 67.31 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

67,31 €

Security Types Preserving Compilation. - History-Dependent Scheduling for Cryptographic Processes. - Boolean Algebra of Shape Analysis Constraints. - Approximate Probabilistic Model Checking. - Completeness and Complexity of Bounded Model Checking.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540208037
Book Title:

Verification, Model Checking, and Abstract Interpretation
ISBN:

9783540208037

None:

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

Weltweit
Versand ausgeschlossen:

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

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

Verification, Model Checking, and Abstract Interpretation : 5th International...

Verification, Model Checking, and Abstract Interpretation : 5th International...

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

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

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt

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

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

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

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

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

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

Verification, Model Checking, and Abstract Interpretation: Third International W

Introduction to Static Analysis: An Abstract Interpretation Perspective

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

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

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

Verification, Model Checking, and Abstract Interpretation : 16th Internationa...

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

Verification, Model Checking, and Abstract Interpretation : 16th Internationa...

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

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

Ähnliche Artikel

Verification, Model Checking, and Abstract Interpretation : 5th International...

Verification, Model Checking, and Abstract Interpretation : 5th International...

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

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

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt

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

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

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

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

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

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

Verification, Model Checking, and Abstract Interpretation: Third International W

Introduction to Static Analysis: An Abstract Interpretation Perspective

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

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

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

Verification, Model Checking, and Abstract Interpretation : 16th Internationa...

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

Verification, Model Checking, and Abstract Interpretation : 16th Internationa...

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

Cookie Hinweis