Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering - Mar a Alpuente - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642045691 - maanantai 26. lokakuuta 2009
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering 2009 edition

Mar a Alpuente

Hinta
€ 68,99

Tilattu etävarastosta

Arvioitu toimitus ma - ke 17. - 26. maalis
Lisää iMusic-toivelistallesi
Eller

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering 2009 edition

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.


223 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 26. lokakuuta 2009
ISBN13 9783642045691
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Sivujen määrä 213
Mitta 155 × 235 × 13 mm   ·   362 g
Kieli French  
Toimittaja Alpuente, Maria
Toimittaja Cook, Byron
Toimittaja Joubert, Christophe