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

Material type: 図書

Author: 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]

Publisher: IEEE Computer Society

Publication date: c1997

Material Format: Paper

Capacity, size, etc.: 28 cm

NDC: -

View All

Notes on use

Note (General)：: "IEEE Computer Society order number PR08002"--T.p. verso"IEEE order plan catalog number 97TB100188"--T.p. versoIncludes bibliographical references and...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 0818680024
Title: Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997
Author/Editor: 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]
Author Heading: ICFEM
https://ci.nii.ac.jp/author/DA13763661
Hinchey, Michael G. (Michael Gerard)
https://ci.nii.ac.jp/author/DA09310131
Liu, Shaoying
IEEE Computer Society
https://ci.nii.ac.jp/author/DA00479199
IEEE Computer Society. Technical Committee on Complexity in Computing
https://ci.nii.ac.jp/author/DA13165229
Publication, Distribution, etc.: IEEE Computer Society
Publication Date: c1997
Publication Date (W3CDTF): 1997
Size: 28 cm
Alternative Title: Formal engineering methods
97TB100188
ICFEM
Place of Publication (Country Code): us
Text Language Code: en
Subject Heading: Engineering -- Methodology -- Congresses
Computer software -- Development -- Congresses
LCC: TA5
Target Audience: 一般
Note (General): "IEEE Computer Society order number PR08002"--T.p. verso
"IEEE order plan catalog number 97TB100188"--T.p. verso
Includes bibliographical references and index
Related Material (URI): https://ci.nii.ac.jp/ncid/BA43652652#entity
https://lccn.loc.gov/97074199
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA43652652 : BA43652652
LC Control Number: 97074199
https://lccn.loc.gov/97074199