Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Computer Aided Verification lauten 9783319633879, 3319633872 und die Druck-ISBNs lauten 9783319633862, 3319633864. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Computer Aided Verification lauten 9783319633879, 3319633872 und die Druck-ISBNs lauten 9783319633862, 3319633864. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.