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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540000297 - October 9, 2002
In case cover and title do not match, the title is correct

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

Price
€ 113.49

Ordered from remote warehouse

Expected delivery Jun 3 - 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released October 9, 2002
ISBN13 9783540000297
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 636
Dimensions 155 × 235 × 33 mm   ·   902 g
Language German  
Editor George, Chris
Editor Miao, Huaikou
Show all

More by C George

See all of C George ( e.g. Paperback Book )