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

Leveraging Applications of Formal Methods, Verification and Validation: Tools an

Ø 0.0

0 Bewertungen

68,59 €

An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. - TraceVis: Towards Visualization for Deep Statistical Model Checking. - Engineering of Digital Twins for Cyber-Physical Systems.

Jetzt bei Ebay:

ISBN-13:

9783030837228
Book Title:

Leveraging Applications of Formal Methods, Verification and Valid
ISBN:

9783030837228

None:

International Standard : tracked-no signature (7 to 15 business days) 20,49 EUR - Lieferung zwischen 20. 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