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 €

Invited Talk. - Validation, Synthesis and Optimization for Cyber-Physical Systems. - Verification Techniques. - Bounded Quantifier Instantiation for Checking Inductive Invariants. - Learning Symbolic Automata.

Jetzt bei Ebay:

ISBN-13:

9783662545768
Book Title:

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

9783662545768

None:

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

Weltweit
Versand ausgeschlossen:

Russische Föderation , Belarus , Irland , Ukraine , Großbritannien , Kambodscha , Afghanistan , Armenien , Aserbaidschan , Bangladesch , ... und weitere