Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Editat de Rupak Majumdar et al.
13 iul 2017
Paperback
Preț: 348.57 lei 435.71 lei
6-8 săpt.
-20%
Viktor Kunčak