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

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung. Rigorous

Ø 0.0

0 Bewertungen

112,16 €

Rigorous Engineering of Collective Adaptive Systems. - Optimality-preserving Reduction of Chemical Reaction Networks. - Exploring Consensus Robustness in Swarms with Disruptive Individuals. - The EM-BDD algorithm for learning hidden Markov models.

Jetzt bei Ebay:

Format:

Paperback
ISBN-13:

9783031751066
Author:

Tiziana Margaria, Bernhard Steffen
Type:

NA
Book Title:

Leveraging Applications of Formal Methods, Verification and Valid
Publication Name:

NA
ISBN:

9783031751066

Standardversand:

Standard Int'l Postage 16,27 EUR - Lieferung zwischen 01. July 2025 und 07. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Belarus , Serbien , Ukraine , Marshallinseln , Afghanistan , Libyen , Nauru , Somalia , Jemen