Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec - Hubert Garavel - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540008989 - March 14, 2003
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec 2003 edition

Hubert Garavel

Price
¥ 19,146.75

Ordered from remote warehouse

Expected delivery Jun 5 - 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

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec 2003 edition

604 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 14, 2003
ISBN13 9783540008989
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 604
Dimensions 155 × 233 × 32 mm   ·   1.43 kg
Language German  
Editor Garavel, Hubert
Editor Hatcliff, John

See all of Hubert Garavel ( e.g. Paperback Book )