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

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S

Ø 0.0

0 Bewertungen

121,46 €

Specifying and verifying fault-tolerant systems. - Linear duration invariants. - A comparison of Statecharts variants. - A calculus of stochastic systems. - Provably Correct Systems. - Simulation approach to provably correct hardware compilation.

Jetzt bei Ebay:

ISBN-13:

9783540584681
Book Title:

Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN:

9783540584681

None:

International Standard : tracked-no signature (7 to 15 business days) 58,51 EUR - Lieferung zwischen 14. July 2025 und 22. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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