Mathematical and Engineering Methods in Computer Science: 10th International Doc
125,35 €
The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers. Programming Support for Future Parallel Architectures. - Flexible Interpolation for Efficient Model Checking.
Jetzt bei Ebay:
