Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering - Jim Davies - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540732099 - perjantai 22. kesäkuuta 2007
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering 2007 edition

Jim Davies

Hinta
NZ$ 201,30

Tilattu etävarastosta

Arvioitu toimitus pe 26. syys - ma 6. loka

Asiakkaamme sanovat:

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

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering 2007 edition

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

662 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 22. kesäkuuta 2007
ISBN13 9783540732099
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 662
Mitta 155 × 235 × 34 mm   ·   929 g
Kieli French  
Toimittaja Davies, Jim
Toimittaja Gibbons, Jeremy
Näytä kaikki

Lisää tuotteita Jim Davies

Katso kaikki joka sisältää Jim Davies ( Esim. CD , Paperback Book , Hardcover Book Ja Book )