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
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 5 - 17
Add to your iMusic wish list

Not rated yet

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 150 × 220 × 10 mm   ·   1.35 kg
Language German  
Editor Chechik, Marsha
Editor Raskin, Jean-Francois

More from the same publisher