Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... Papers (Programming and Software Engineering)
by Christakis, Maria; Polikarpova, Nadia; Duggirala, Parasara Sridhar; Schrammel, Peter
Description: It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
Product ID: 3030636178-11-18