Formal Methods and Software Engineering | 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Chris George (u. a.)

ISBN 10: 3540000291 / ISBN 13: 9783540000297

Published by Springer, 2002

About this Item

Formal Methods and Software Engineering | 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings | Chris George (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540000297 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.

Seller Inventory # 102568389

Bibliographic Details

• Title: Formal Methods and Software Engineering | 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
• Publisher: Springer
• Publication Date: 2002
• Language: English
• ISBN 10: 3540000291
• ISBN 13: 9783540000297
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 35D millimeters 235 millimeters width by 155 millimeters height by 35 millimeters depth
• Weight: 966 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The 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.