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: Third Interna

Ø 0.0

0 Bewertungen

68,59 €

Hardware and software synthesis, optimization, and verification from Esterel programs. - Manipulation algorithms for K BMDs. - Partial model checking with ROBDDs. - The reference component of PEP.

Jetzt bei Ebay:

ISBN-13:

9783540627906
Book Title:

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

9783540627906

None:

International Standard : tracked-no signature (7 to 15 business days) 47,23 EUR - Lieferung zwischen 19. May 2025 und 28. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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