First IEEE International Conference Conference [sic] on Formal Engineering Methods [electronic resource] : proceedings, Hiroshima, Japan, November 12-14, 1997 / sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu].
- Conference Author:
- IEEE International Conference on Formal Engineering Methods (1st : 1997 : Hiroshima-shi, Japan)
- Additional Titles:
- Formal engineering methods and First IEEE International Conference on Formal Engineering Methods
- Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
- Physical Description:
- xi, 327 p. : ill. ; 28 cm.
- Additional Creators:
- Hinchey, Michael G. (Michael Gerard), 1969-, Liu, Shaoying, 1960-, IEEE Computer Society, and IEEE Computer Society. Technical Committee on Complexity in Computing
- Restrictions on Access:
- License restrictions may limit access.
- 0818680024, 0818680034 (case), and 0818680040 (microfiche)
- "IEEE Computer Society order number PR08002"--T.p. verso. and "IEEE order plan catalog number 97TB100188"--T.p. verso.
- Bibliography Note:
- Includes bibliographical references and index.
View MARC record | catkey: 14776597