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

Tiziana Margaria
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

Price
HK$ 834
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 22 - Jan 1, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

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
Language German  
Editor Margaria, Tiziana
Editor Wang, Yi
Show all

More by Tiziana Margaria

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