Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc - Parosh Aziz Abdulla - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642198342 - March 18, 2011
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc

Parosh Aziz Abdulla

Login to be notified when the product is available again

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: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrucken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

410 pages, 104 black & white illustrations, 30 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 18, 2011
ISBN13 9783642198342
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 394
Dimensions 155 × 235 × 23 mm   ·   612 g
Language French  
Editor Abdulla, Parosh Aziz
Editor Leino, K. Rustan M.
Show all

More by Parosh Aziz Abdulla

See all of Parosh Aziz Abdulla ( e.g. Paperback Book )