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

Werkzeuge und Algorithmen für den Aufbau und die Analyse von Systemen: 30. Internat

Ø 0.0

0 Bewertungen

70,28 €

Publisher Springer International Publishing AG. Model Checking. - automata and learning. - software verification. - probabilistic systems. Place of Publication Cham. Country of Publication Switzerland.

Jetzt bei Ebay:

Format:

Paperback
ISBN-13:

9783031572487
Author:

Bernd Finkbeiner, Laura Kovcs
Type:

NA
Book Title:

Tools and Algorithms for the Construction and Analysis of Systems
Publication Name:

NA
ISBN:

9783031572487

Standardversand:

Standard Int'l Postage 16,46 EUR - Lieferung zwischen 02. June 2025 und 06. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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