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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540000297 - 9. oktober 2002
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
¥ 15.652

Bestillingsvarer

Forventes levert 16. - 24. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 9. oktober 2002
ISBN13 9783540000297
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 636
Mål 155 × 235 × 33 mm   ·   902 g
Språk Tysk  
Redaktør George, Chris
Redaktør Miao, Huaikou
Vis alle

Mer med C George

Se alt med C George ( f.eks. Pocketbok )