Armin Biere
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science Armin Biere 2014 edition

Name: Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science
Price: 107.49 USD
Availability: OutOfStock
Author: Armin Biere

Price

$ 107.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science

Armin Biere

2014 edition

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

911 pages, 205 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	August 4, 2014
ISBN13	9783319088662
Publishers	Springer International Publishing AG
Pages	877
Dimensions	155 × 235 × 46 mm · 1.25 kg
Language	German
Editor	Biere, Armin
Editor	Bloem, Roderick