Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce - - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783662496732 - April 9, 2016
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce 1st ed. 2016 edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 12 - 24
Christmas presents can be returned until 31 January

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: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce 1st ed. 2016 edition

961 pages, 220 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 9, 2016
ISBN13 9783662496732
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 961
Dimensions 1.35 kg
Language German  
Editor Chechik, Marsha
Editor Raskin, Jean-Francois