Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings - S Graf - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - March 15, 2000
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

S Graf

Price
CA$ 172.49

Ordered from remote warehouse

Expected delivery Dec 13 - 26
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

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

552 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 15, 2000
ISBN13 9783540672821
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 552
Dimensions 155 × 233 × 29 mm   ·   1.31 kg

See all of S Graf ( e.g. Paperback Book )