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)
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Formal Engineering Methods (Icfem 2000): 3rd IEEE Internatio...
Stock Image
Formal Engineering Methods (ICFEM 2000): 3rd IEEE International Conference, York, England, 4-6 September 2000
Published by
IEEE, Los Alamitos, California, 2001
ISBN 10: 0769508227
ISBN 13: 9780769508221
Used
Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. 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