Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proce - Cormac Flanagan - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642287558 - March 14, 2012
In case cover and title do not match, the title is correct

Cormac Flanagan
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proce

Price
$ 65.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 20 - 30
Get notified about new Cormac Flanagan releases

Our customers say:

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

Not rated yet

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.

560 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 14, 2012
ISBN13 9783642287558
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 560
Dimensions 155 × 235 × 33 mm   ·   839 g
Language French  
Editor Flanagan, Cormac
Editor Koenig, Barbara

More from the same publisher

See all of Cormac Flanagan ( e.g. Paperback Book )