Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P - - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783662545768 - March 31, 2017
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P 1st ed. 2017 edition

Price
$ 65.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 5 - 17

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

Also available as:

609 pages, 152 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 31, 2017
ISBN13 9783662545768
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 609
Dimensions 155 × 235 × 33 mm   ·   879 g
Language German  
Editor Legay, Axel
Editor Margaria, Tiziana

More from the same publisher