Tell your friends about this item:
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
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
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 |