Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th - Javier Esparza - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642120015 - 17. marts 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th

Javier Esparza

Pris
CA$ 96,86

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 19. aug.

Vores kunder siger:

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

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th

Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

464 pages, 102 black & white illustrations, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 17. marts 2010
ISBN13 9783642120015
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 468
Mål 155 × 234 × 25 mm   ·   725 g
Sprog Tysk  
Klipper/redaktør Esparza, Javier
Klipper/redaktør Majumdar, Rupak
Vis alle

Mere med Javier Esparza

Se alt med Javier Esparza ( f.eks. Paperback Bog og Hardcover bog )