Formal Engineering Methods (ICFEM 2000): 3rd IEEE International Conference, York, England, 4-6 September 2000

Liu, Shaoying. et al

ISBN 10: 0769508227 / ISBN 13: 9780769508221

Published by IEEE, Los Alamitos, California, 2001

About this Item

Hardcover 2001 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. [xi, 209 p. : ill. ; 28 cm].

Seller Inventory # 011582

Bibliographic Details

• Title: Formal Engineering Methods (ICFEM 2000): 3rd IEEE International Conference, York, England, 4-6 September 2000
• Publisher: IEEE, Los Alamitos, California
• Publication Date: 2001
• Language: English
• ISBN 10: 0769508227
• ISBN 13: 9780769508221
• Binding: Hardcover
• Condition: Very Good
• Dust Jacket Condition: No Jacket
• Seller catalogs:
  • Computer

About this title

Synopsis

Invited speakers explore the use of mathematics in software engineering, legacy code, and challenges and results of offering formal verification capabilities for industry standard case tools. The other 19 papers cover development, structuring, algebraic approaches, verification, formal and informal notations, retrenchment, the theory and practice of Z, and animation. There is no subject index. Annotation c. Book News, Inc., Portland, OR (booknews.com)