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

Ø 0.0

0 Bewertungen

99,74 €

Invited Talk. - Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. - Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. - Computing Simulations over Tree Automata.

Jetzt bei Ebay:

ISBN-13:

9783540787990
Book Title:

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

9783540787990

None:

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

Weltweit
Versand ausgeschlossen:

Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Algerien , Angola , ... und weitere