First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997 : proceedings /
| Corporate Authors: | , , , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Los Alamitos, Calif. :
IEEE Computer Society Press,
[1997]
|
| Subjects: |
| 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) |