Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture - Tiziana Margaria - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - 21. marts 2001
Ved uoverensstemmelse mellem cover og titel gælder titel

Tiziana Margaria
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture

Pris
DKK 862

Bestilles fra fjernlager

Forventes klar til forsendelse 23. - 29. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

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

This title comprises selected papers covering topics such as symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, and software verification,

594 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 21. marts 2001
ISBN13 9783540418658
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 594
Mål 156 × 234 × 31 mm   ·   1,39 kg
Sprog Tysk  
Klipper/redaktør Margaria, Tiziana
Klipper/redaktør Wang, Yi

Mere med Tiziana Margaria

Vis alle

Se alt med Tiziana Margaria ( f.eks. Paperback Bog )