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: 7th Internati

Ø 0.0

0 Bewertungen

123,08 €

Invited Contributions. - Propositional Reasoning. - Symbolic Verification. - Infinite State Systems: Deduction and Abstraction. - Synthesis of Linear Ranking Functions. - Automatic Deductive Verification with Invisible Invariants.

Jetzt bei Ebay:

ISBN-13:

9783540418658
Book Title:

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

9783540418658

None:

International Standard : tracked-no signature (7 to 15 business days) 59,72 EUR - Lieferung zwischen 25. June 2025 und 07. 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