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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783662466803 - 8. april 2015
Ved uoverensstemmelse mellem cover og titel gælder titel

Christel Baier
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

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 18. - 29. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 8. april 2015
ISBN13 9783662466803
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 725
Mål 155 × 235 × 38 mm   ·   1,03 kg
Sprog Fransk  
Klipper/redaktør Baier, Christel
Klipper/redaktør Tinelli, Cesare
Vis alle

Mere med Christel Baier

Se alt med Christel Baier ( f.eks. Paperback Bog og Hardcover bog )