Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings - Lecture Notes in Computer Science - C George - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540000297 - keskiviikko 9. lokakuuta 2002
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition

C George

Hinta
Íkr 14.628,90

Tilattu etävarastosta

Arvioitu toimitus ke 25. kesä - to 3. heinä

Asiakkaamme sanovat:

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

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition

These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.

636 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 9. lokakuuta 2002
ISBN13 9783540000297
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 636
Mitta 155 × 235 × 33 mm   ·   902 g
Kieli German  
Toimittaja George, Chris
Toimittaja Miao, Huaikou
Näytä kaikki

Lisää tuotteita C George

Katso kaikki joka sisältää C George ( Esim. Paperback Book )