Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture - Tiziana Margaria - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - March 21, 2001
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture

Tiziana Margaria

Price
CA$ 175.99

Ordered from remote warehouse

Expected delivery Feb 4 - 17

Our customers say:

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

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture

This title comprises selected papers covering topics such as symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, and software verification,

594 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 21, 2001
ISBN13 9783540418658
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 594
Dimensions 156 × 234 × 31 mm   ·   1.39 kg
Editor Margaria, Tiziana
Editor Wang, Yi
Show all

More by Tiziana Margaria

See all of Tiziana Margaria ( e.g. Paperback Book )