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: 26th Internat

Ø 0.0

0 Bewertungen

53,23 €

Short Title Tools and Algorithms for the Construction and Analysis of Systems. - Verification and Efficiency. - Logic and Proof. - Tools and Case Studies. - SV-COMP 2020. Publication Date 2020-04-18.

Jetzt bei Ebay:

ISBN-13:

9783030452360
Book Title:

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

9783030452360

None:

International Standard : tracked-no signature (7 to 15 business days) 27,62 EUR - Lieferung zwischen 20. May 2025 und 02. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Kambodscha , Russische Föderation , Belarus , Irland , Ukraine , Großbritannien , Irak , Libanon , Jemen , Algerien , ... und weitere