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

Ø 0.0

0 Bewertungen

68,59 €

Short Title TOOLS & ALGORITHMS FOR THE CON. Combining model checking and deduction for I/O- automata. - A user guide to HyTech. -calculus, model checking and Gauß elimination. - Mona: Monadic second-order logic in practice.

Jetzt bei Ebay:

ISBN-13:

9783540606307
Book Title:

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

9783540606307

None:

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

Weltweit
Versand ausgeschlossen:

Algerien , Angola , Benin , Botsuana , Burkina Faso , Burundi , Kamerun , Kap Verde , Zentralafrikanische Republik , Tschad , ... und weitere