Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings (International Conference, Cav '99, Trento, Italy, July 6-10, 1999, Proceedings) - Lecture Notes in Computer Science - N Halbwachs - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540662020 - June 23, 1999
In case cover and title do not match, the title is correct

Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings (International Conference, Cav '99, Trento, Italy, July 6-10, 1999, Proceedings) - Lecture Notes in Computer Science

N Halbwachs

Price
¥ 8,278
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 3 - 15

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: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings (International Conference, Cav '99, Trento, Italy, July 6-10, 1999, Proceedings) - Lecture Notes in Computer Science

This volume covers the 11th International Conference on Computer Aided Verification held in Italy in July 1999. It includes sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic and modelling of systems.

520 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 23, 1999
ISBN13 9783540662020
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 520
Dimensions 156 × 234 × 26 mm   ·   725 g
Language German  

See all of N Halbwachs ( e.g. Paperback Book )