Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceed - Holger Hermanns - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540330561 - March 15, 2006
In case cover and title do not match, the title is correct

Holger Hermanns
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceed 2006 edition

Price
$ 65.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 3 - 15

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 book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS.

512 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 15, 2006
ISBN13 9783540330561
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 512
Dimensions 152 × 229 × 26 mm   ·   730 g
Language French  
Editor Hermanns, Holger
Editor Palsberg, Jens

More by Holger Hermanns

Show all

Mere med samme udgiver

See all of Holger Hermanns ( e.g. Paperback Book )