Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings - S Graf - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - 15. marts 2000
Ved uoverensstemmelse mellem cover og titel gælder titel

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

S Graf

Pris
DKK 861

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 26. sep.
Tilføj til din iMusic ønskeseddel
Eller

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

552 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 15. marts 2000
ISBN13 9783540672821
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 552
Mål 155 × 233 × 29 mm   ·   1,31 kg
Sprog Tysk