Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19, 2000, Proceedings - Lecture Notes in Computer Science - A E Emerson - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540677703 - June 28, 2000
In case cover and title do not match, the title is correct

Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19, 2000, Proceedings - Lecture Notes in Computer Science

A E Emerson

Price
A$ 195.99

Ordered from remote warehouse

Expected delivery Jan 29 - Feb 11

Our customers say:

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

Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19, 2000, Proceedings - Lecture Notes in Computer Science

This text constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000. The 35 revised full papers presented together with nine tool papers were carefully reviewed and selected from 91 submissions.

600 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 28, 2000
ISBN13 9783540677703
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 600
Dimensions 155 × 233 × 30 mm   ·   830 g
Language German  
Editor Emerson, E. Allen
Editor Sistla, A. Prasad

See all of A E Emerson ( e.g. Paperback Book )