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

Compositional Verification of Concurrent and Real-Time Systems by Eric Y.T. Juan

Ø 0.0

0 Bewertungen

123,08 €

State Explosion. Compositional Verification. Verification Techniques for Concurrent Systems. Techniques for Efficient Analysis of Concurrent Systems. Compositional-Verification Techniques. The Model.

Jetzt bei Ebay:

ISBN-13:

9781402070259
Book Title:

Compositional Verification of Concurrent and Real-Time Systems
ISBN:

9781402070259

None:

International Standard : tracked-no signature (7 to 15 business days) 21,96 EUR - Lieferung zwischen 25. June 2025 und 04. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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