FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering - Jorge Cuellar - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540682356 - 8. maj 2008
Ved uoverensstemmelse mellem cover og titel gælder titel

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering 2008 edition

Jorge Cuellar

Pris
SFr. 55,99

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 15. okt.

Vores kunder siger:

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

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering 2008 edition

The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

436 pages, black & white illustrations

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 8. maj 2008
ISBN13 9783540682356
Forlag Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Antal sider 436
Mål 155 × 235 × 23 mm   ·   657 g
Sprog Fransk  
Klipper/redaktør Cuellar, Jorge
Klipper/redaktør Maibaum, Tom
Vis alle

Mere med Jorge Cuellar

Se alt med Jorge Cuellar ( f.eks. Paperback Bog )