First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997 : proceedings /

Bibliographic Details
Corporate Authors: IEEE International Conference on Formal Engineering Methods Hiroshima, Japan, IEEE Computer Society, IEEE Computer Society. Technical Committee on Complexity in Computing, Software Engineers Association of Japan
Other Authors: Hinchey, Michael G. (Michael Gerard), 1969-, Liu, Shaoying
Format: Conference Proceeding Book
Language:English
Published: Los Alamitos, Calif. : IEEE Computer Society Press, [1997]
Subjects:
Description
Item Description:"IEEE Computer Society order number PR08002"--Title page verso.
"IEEE order plan catalog number 97TB100188"--Title page verso.
Physical Description:xi, 327 pages : illustrations ; 28 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0818680024
0818680040 (microfiche)