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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540000297 - 9. oktober 2002
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
NOK 1.359

Bestilles fra fjernlager

Forventes klar til forsendelse 15. - 21. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 9. oktober 2002
ISBN13 9783540000297
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 636
Mål 155 × 235 × 33 mm   ·   902 g
Sprog Tysk  
Klipper/redaktør George, Chris
Klipper/redaktør Miao, Huaikou
Vis alle

Mere med C George

Se alt med C George ( f.eks. Paperback Bog )