FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering - Jorge Cuellar - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540682356 - 8. mai 2008
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
$ 56,49

Bestillingsvarer

Forventes levert 9. - 17. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 8. mai 2008
ISBN13 9783540682356
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Sjanger Aspects (Academic) > Science / Technology Aspects
Antall sider 436
Mål 155 × 235 × 23 mm   ·   657 g
Språk Fransk  
Redaktør Cuellar, Jorge
Redaktør Maibaum, Tom
Vis alle

Mer med Jorge Cuellar

Se alt med Jorge Cuellar ( f.eks. Pocketbok )