ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September, 2000

著者

    • IEEE International Conference on Formal Engineering Methods
    • Liu, Shaoying
    • McDermid, John A.
    • Hinchey, Michael G.
    • IEEE Computer Society. Technical Committee on Complexity in Computing
    • University of York

書誌事項

ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September, 2000

sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York ; editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey

IEEE Computer Society Press, c2000

  • : microfiche

タイトル別名

ICFEM 2000 : 3rd IEEE International Conference on Formal Engineering Methods

ICFEM 2000 : Formal Engineering Methods

大学図書館所蔵 件 / 全2件

この図書・雑誌をさがす

注記

"IEEE Computer Society order number PR00822"--T.p. verso

Includes bibliographical references and index

内容説明・目次

内容説明

This text on engineering methods covers topics such as: development; structuring; algebraic approaches; verification; formal and informal notations; retrenchment; theory and practice; and animation.

目次

  • Development
  • Structuring
  • Algebraic Approaches
  • Verification
  • Formal and Informal Notations
  • Retrenchment
  • Theory and Practice
  • Animation

「Nielsen BookData」 より

詳細情報

ページトップへ