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

Ø 0.0

0 Bewertungen

121,58 €

Theorem Proving. - An Interpolating Theorem Prover. - Probabilistic Model Checking. - Online Efficient Predictive Safety Analysis of Multithreaded Programs. - Vooduu: Verification of Object-Oriented Designs Using UPPAAL.

Jetzt bei Ebay:

ISBN-13:

9783540212997
Book Title:

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

9783540212997

None:

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

Weltweit
Versand ausgeschlossen:

Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , Martinique , ... und weitere