Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319961446 - July 22, 2018
In case cover and title do not match, the title is correct

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I - Lecture Notes in Computer Science 2018 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 17 - 23

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

703 pages, 146 Illustrations, black and white; XIX, 703 p. 146 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 22, 2018
ISBN13 9783319961446
Publishers Springer International Publishing AG
Pages 703
Dimensions 234 × 155 × 143 mm   ·   1.07 kg
Language German  
Editor Chockler, Hana
Editor Weissenbacher, Georg

Mere med samme udgiver