Tools and Algorithms for the Construction and Analysis of Systems: 30th Internat
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: