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

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

Ø 0.0

0 Bewertungen

69,15 €

A Model-Constructing Satisfiability Calculus. - Automata as Proofs. - Complete Abstractions Everywhere. - Abstraction-Guided Synthesis. - SMT-Based Bisimulation Minimisation of Markov Models. - Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783642358722
Book Title:

Verification, Model Checking, and Abstract Interpretation
ISBN:

9783642358722

None:

International Standard : tracked-no signature (7 to 15 business days) 32,69 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) , Russische Föderation , ... und weitere

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

Verification, Model Checking, and Abstract Interpretation: 19th 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: 17th International Co

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July

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

Structure and Interpretation of Computer Programs 1st Edition 14th Print

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

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

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

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

Verification, Model Checking, and Abstract Interpretation: 22nd Internationa...

Verification, Model Checking, and Abstract Interpretation: 21st International Co

Verification, Model Checking, and Abstract Interpretation: 22nd International Co

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

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

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, Apr

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

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

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

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

Ähnliche Artikel

Verification, Model Checking, and Abstract Interpretation: 19th 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: 17th International Co

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July

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

Structure and Interpretation of Computer Programs 1st Edition 14th Print

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

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

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

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

Verification, Model Checking, and Abstract Interpretation: 22nd Internationa...

Verification, Model Checking, and Abstract Interpretation: 21st International Co

Verification, Model Checking, and Abstract Interpretation: 22nd International Co

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

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

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, Apr

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

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

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

Cookie Hinweis