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 -  - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783662496732 - 9. april 2016
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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