Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings - Programming and Software Engineering - Dominique Mery - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642162640 - keskiviikko 6. lokakuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings - Programming and Software Engineering 2010 edition

Dominique Mery

Hinta
£ 45,99

Tilattu etävarastosta

Arvioitu toimitus ma - ti 20. - 28. loka
Lisää iMusic-toivelistallesi
tai

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings - Programming and Software Engineering 2010 edition

Constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010.


337 pages, 110 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 6. lokakuuta 2010
ISBN13 9783642162640
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 337
Mitta 156 × 234 × 18 mm   ·   485 g
Kieli French  
Toimittaja Mery, Dominique
Toimittaja Merz, Stephan