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

Tools and Algorithms for the Construction and Analysis of Systems: 23rd Internat

Ø 0.0

0 Bewertungen

69,14 €

Context-bounded Analysis for POWER. - Quantitative Systems. - JANI: Quantitative Model and Tool Interaction. - Long-run Rewards for Markov Automata. - SAT and SMT. - HiFrog: SMT-based Function Summarization for Software Verification.

Jetzt bei Ebay:

ISBN-13:

9783662545799
Book Title:

Tools and Algorithms for the Construction and Analysis of Systems
ISBN:

9783662545799

None:

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

Weltweit
Versand ausgeschlossen:

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