Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings, Part II
Produktform: E-Buch Text Elektronisches Buch in proprietärem
Noch Fragen? 0800 / 33 82 637
Produktform: E-Buch Text Elektronisches Buch in proprietärem