FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering - Jorge Cuellar - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540682356 - torstai 8. toukokuuta 2008
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus pe - ma 3. - 13. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 8. toukokuuta 2008
ISBN13 9783540682356
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Sivujen määrä 436
Mitta 155 × 235 × 23 mm   ·   657 g
Kieli French  
Toimittaja Cuellar, Jorge
Toimittaja Maibaum, Tom
Näytä kaikki

Lisää tuotteita Jorge Cuellar

Katso kaikki joka sisältää Jorge Cuellar ( Esim. Paperback Book )