ICFEM 2000
- Shaoying Liu
- John McDermid
- Michael Gerard Hinchey
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹10,655Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
ICFEM 2000 is written by Shaoying Liu and published by IEEE Computer Society Press. It's available with International Standard Book Number or ISBN identification 0769508227 (ISBN 10) and 9780769508221 (ISBN 13).
Annotation 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 copyrighted by Book News, Inc., Portland, OR.
