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

C George
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

Price
$ 107.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

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

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

More by C George

Show all

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