Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings - Theoretical Computer Science and General Issues - Ahmed Bouajjani - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642026577 - June 19, 2009
In case cover and title do not match, the title is correct

Ahmed Bouajjani
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings - Theoretical Computer Science and General Issues 2009 edition

Price
$ 105.49
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

The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions.

737 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 19, 2009
ISBN13 9783642026577
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 722
Dimensions 155 × 235 × 25 mm   ·   1.02 kg
Language French  
Editor Bouajjani, Ahmed
Editor Maler, Oded

Mere med samme udgiver

See all of Ahmed Bouajjani ( e.g. Paperback Book )