Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers - Lecture Notes in Computer Science - - Books - Springer Nature Switzerland AG - 9783030636173 - December 6, 2020
In case cover and title do not match, the title is correct

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2020 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 15 - 21

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020.

239 pages, 35 Illustrations, color; 38 Illustrations, black and white; XXVI, 239 p. 73 illus., 35 il

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 6, 2020
ISBN13 9783030636173
Publishers Springer Nature Switzerland AG
Pages 239
Dimensions 150 × 220 × 10 mm   ·   454 g
Language German  
Editor Christakis, Maria
Editor Duggirala, Parasara Sridhar
Editor Polikarpova, Nadia
Editor Schrammel, Peter

Mere med samme udgiver