
Fortell venner om denne varen:
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
Pris
NOK 559
Bestillingsvarer
Forventes levert 29. okt - 6. nov
Legg til iMusic ønskeliste
eller
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 9. april 2016 |
ISBN13 | 9783662496732 |
Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
Antall sider | 961 |
Mål | 1,35 kg |
Språk | Tysk |
Redaktør | Chechik, Marsha |
Redaktør | Raskin, Jean-Francois |