Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec - Hubert Garavel - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540008989 - 14. marts 2003
Ved uoverensstemmelse mellem cover og titel gælder titel

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec 2003 edition

Hubert Garavel

Pris
元 960

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 7. 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: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec 2003 edition

604 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 14. marts 2003
ISBN13 9783540008989
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 604
Mål 155 × 233 × 32 mm   ·   1,43 kg
Sprog Tysk  
Klipper/redaktør Garavel, Hubert
Klipper/redaktør Hatcliff, John

Se alt med Hubert Garavel ( f.eks. Paperback Bog )