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

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
NOK 1.079

Bestillingsvarer

Forventes levert 19. - 29. sep
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 15. mars 2000
ISBN13 9783540672821
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 552
Mål 155 × 233 × 29 mm   ·   1,31 kg
Språk Tysk  

Se alt med S Graf ( f.eks. Pocketbok )