3rd IEEE International Conference on Formal Engineering Methods (Icfem 2000)

by IEEE Computer Society

0 ratings • 0 reviews • 0 shelved
Book cover for 3rd IEEE International Conference on Formal Engineering Methods (Icfem 2000)

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

This text on engineering methods covers topics such as: development; structuring; algebraic approaches; verification; formal and informal notations; retrenchment; theory and practice; and animation.
  • ISBN10 0769508243
  • ISBN13 9780769508245
  • Publish Date 30 November 2000
  • Publish Status Active
  • Publish Country US
  • Imprint I.E.E.E.Press
  • Format Paperback
  • Pages 222
  • Language English