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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540008989 - 14. mars 2003
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
Íkr 13.149

Bestillingsvarer

Forventes levert 4. - 12. aug

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: 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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 14. mars 2003
ISBN13 9783540008989
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 604
Mål 155 × 233 × 32 mm   ·   1,43 kg
Språk Tysk  
Redaktør Garavel, Hubert
Redaktør Hatcliff, John

Se alt med Hubert Garavel ( f.eks. Pocketbok )