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

Author(s)

Bibliographic Information

Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : 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]

IEEE Computer Society, c1997

Other Title

Formal engineering methods

97TB100188

ICFEM

Available at  / 3 libraries

Search this Book/Journal

Note

"IEEE Computer Society order number PR08002"--T.p. verso

"IEEE order plan catalog number 97TB100188"--T.p. verso

Includes bibliographical references and index

Description and Table of Contents

Description

This volume on architecture/parallel and high performance computing is aimed at researchers, professors, practitioners, students and other computing professionals.

by "Nielsen BookData"

Details

Page Top