Mathematical and Engineering Methods in Computer Science: 8th International Doct
69,60 €
The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. BDD-Based Software Model Checking with CPAchecker. - Security for Cyber-Physical Systems.
Jetzt bei Ebay:
