Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings (13th International Conference, Cav 2001, Paris, France, July 18-22, 2001.proceedings) - Lecture Notes in Computer Science - G Berry - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540423454 - July 4, 2001
In case cover and title do not match, the title is correct

G Berry
Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings (13th International Conference, Cav 2001, Paris, France, July 18-22, 2001.proceedings) - Lecture Notes in Computer Science

Price
$ 104.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

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

The papers in this work cover topics such as: model checking and theorem proving; automata techniques; verification core technology; BDD and decision trees; abstraction and refinement; combinations; infinite state systems; and temporal logics and verification.

522 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 4, 2001
ISBN13 9783540423454
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 522
Dimensions 155 × 233 × 27 mm   ·   748 g
Language German  
Editor Berry, Gerard
Editor Comon, Hubert
Editor Finkel, Alain

Mere med samme udgiver

See all of G Berry ( e.g. Paperback Book )