Third IEEE international conference on formal engineering methods -- : Formal engineering methods : International conference : 3rd : Sep 2000, York, UK.

Notes on use

Note (General)：: Papers.Also known as ICFEM 2000. IEEE order no PR00822.Index term: ICFEM ; formal engineering methods ; computing ; IEEE....

Search by Bookstore

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

Material Type: 図書
ISBN: 0769508227 (pbk)
0769508243 (microfiche)
Title: Third IEEE international conference on formal engineering methods -- : Formal engineering methods : International conference : 3rd : Sep 2000, York, UK.
Author Heading: IEEE Computer Society.
IEEE Computer Society. Technical Committee on Complexity in Computing.
Extent: v.
Alternative Title: Also known as ICFEM 2000. IEEE order no PR00822
ICFEM ; formal engineering methods ; computing ; IEEE
NDLC: M17
Note (General): Papers.
Also known as ICFEM 2000. IEEE order no PR00822.
Index term: ICFEM ; formal engineering methods ; computing ; IEEE.
BL shelfmark: 4362.94952 3rd 2000.
Holding library: 国立国会図書館
Call No.: M17-01-2532
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003451211
http://id.ndl.go.jp/bib/000003451211
UKMARC No.: G07066072
Bibliographic Record Category (NDL): 215