Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu - Christel Baier - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783662466803 - 8. april 2015
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

Christel Baier

Pris
NOK 559

Bestillingsvarer

Forventes levert 21. - 29. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.

725 pages, 210 black & white illustrations, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 8. april 2015
ISBN13 9783662466803
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 725
Mål 155 × 235 × 38 mm   ·   1,03 kg
Språk Fransk  
Redaktør Baier, Christel
Redaktør Tinelli, Cesare
Vis alle

Mer med Christel Baier

Se alt med Christel Baier ( f.eks. Pocketbok og Innbunden bok )