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

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

Ø 0.0

0 Bewertungen

67,84 €

Closure Operators for ROBDDs. - Combining Shape Analyses by Intersecting Abstractions. - Efficient Strongly Relational Polyhedral Analysis. - Field Constraint Analysis. - Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540311393
Book Title:

Verification, Model Checking, and Abstract Interpretation
ISBN:

9783540311393

None:

International Standard : tracked-no signature (7 to 15 business days) 47,27 EUR - Lieferung zwischen 30. June 2025 und 08. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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

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

Verification, Model Checking, And Abstract Interpretation : 7th International...

Verification, Model Checking, And Abstract Interpretation : 7th International...

SPIN Model Checking and Software Verification: 7th International SPIN Workshop S

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ähnliche Artikel

Verification, Model Checking, And Abstract Interpretation : 7th International...

Verification, Model Checking, And Abstract Interpretation : 7th International...

SPIN Model Checking and Software Verification: 7th International SPIN Workshop S

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Cookie Hinweis