Computer Aided Verification

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Computer Aided Verification lauten 9783642397998, 3642397999 und die Druck-ISBNs lauten 9783642397981, 3642397980. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Computer Aided Verification lauten 9783642397998, 3642397999 und die Druck-ISBNs lauten 9783642397981, 3642397980. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.