Contributions

  • Hinchey, Michael G. 1969- - Contributor
  • Liu, Shaoying, 1960- - Contributor
  • IEEE Computer Society. - Contributor
  • IEEE Computer Society. Technical Committee on Complexity in Computing. - Contributor

Publication

1997 - IEEE Computer Society Press, Los Alamitos, Calif, California

Language

English

Word Count

81,750 words, Guess

Page Count

327 pages

Identifiers

  • ISBN-100818680024
  • ISBN-100818680040
  • ISBN-139780818680021
  • ISBN-139780818680045
  • Library of Congress Control Number97074199
and 2 more

Classifications

  • DDC620/.0028
  • LCCTA5 .I415 1997

Alternate Titles

  • Formal engineering methods
  • First IEEE International Conference on Formal Engineering Methods

Subjects

Other Editions

  • First IEEE International Conference Conference [sic] on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997IEEE Computer Society Press1997-01-01

Similar Books

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!