Computer Aided Verification

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Computer Aided Verification lauten 9783319633909, 3319633902 und die Druck-ISBNs lauten 9783319633893, 3319633899. 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 II verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Computer Aided Verification lauten 9783319633909, 3319633902 und die Druck-ISBNs lauten 9783319633893, 3319633899. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.