Software Verification

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers 1st Auflage verfasst von Maria Christakis; Nadia Polikarpova; Parasara Sridhar Duggirala und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Software Verification lauten 9783030636180, 3030636186 und die Druck-ISBNs lauten 9783030636173, 3030636178. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers 1st Auflage verfasst von Maria Christakis; Nadia Polikarpova; Parasara Sridhar Duggirala und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Software Verification lauten 9783030636180, 3030636186 und die Druck-ISBNs lauten 9783030636173, 3030636178. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.