Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee - Kurt Jensen - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540212997 - 18. marts 2004
Ved uoverensstemmelse mellem cover og titel gælder titel

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004 edition

Kurt Jensen

Pris
Kč 3.413

Bestilles fra fjernlager

Forventes klar til forsendelse 3. - 10. jun.

Vores kunder siger:

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

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004 edition

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004).

614 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 18. marts 2004
ISBN13 9783540212997
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 614
Mål 155 × 235 × 32 mm   ·   1,43 kg
Sprog Tysk  
Klipper/redaktør Jensen, Kurt
Klipper/redaktør Podelski, Andreas
Vis alle

Mere med Kurt Jensen

Se alt med Kurt Jensen ( f.eks. Paperback Bog , Hardcover bog og Løsblad )