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: 21st Internat

Ø 0.0

0 Bewertungen

69,04 €

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. - Verified Reachability Analysis of Continuous Systems. - HyComp: An SMT-Based Model Checker for Hybrid Systems.

Jetzt bei Ebay:

Format:

Paperback
Language:

English
ISBN-13:

9783662466803
Author:

Christel Baier, Cesare Tinelli
Book Title:

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

9783662466803

None:

International Standard : tracked-no signature (7 to 15 business days) 40,01 EUR - Lieferung zwischen 26. May 2025 und 05. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Belarus , Irland , Ukraine , Großbritannien , Algerien , Angola , Benin , Botsuana , Burkina Faso , ... und weitere