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

Tools and Algorithms for the Construction and Analysis of Systems: 30th Internat

Ø 0.0
0 Bewertungen
38,96 €

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: