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

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

Ø 0.0

0 Bewertungen

67,31 €

Invited Paper. - Scalable Analysis of Linear Systems Using Mathematical Programming. - Invited Talk. - The Verifying Compiler, a Grand Challenge for Computing Research. - Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540242970
Book Title:

Verification, Model Checking, and Abstract Interpretation
ISBN:

9783540242970

None:

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

Weltweit
Versand ausgeschlossen:

Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Costa Rica , Dominica , ... und weitere

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Automated Technology for Verification and Analysis: 6th International Symposium,

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

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

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

Ähnliche Artikel

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

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

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

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

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

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

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

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

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

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

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

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

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

Automated Technology for Verification and Analysis: 6th International Symposium,

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

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

Cookie Hinweis