Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319633862 - July 13, 2017
In case cover and title do not match, the title is correct

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2017 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

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

601 pages, 142 Illustrations, black and white; XIX, 601 p. 142 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 13, 2017
ISBN13 9783319633862
Publishers Springer International Publishing AG
Pages 601
Dimensions 150 × 220 × 10 mm   ·   9.30 kg
Language German  
Editor Kuncak, Viktor
Editor Majumdar, Rupak

Mere med samme udgiver