Computer Aided Verification: 29th International Conference, Cav 2017, Heidel...
79,11 €
The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.
Jetzt bei Ebay:
