Formal description techniques 7 : 7th International conference : Oct 1994, Bern, Switzerland.

Publisher: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)

Notes on use

Note (General)：: Selected papers.Also known as FORTE '94.Index term: formal description techniques ; FORTE ; IFIP....

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: 0412644509
Title: Formal description techniques 7 : 7th International conference : Oct 1994, Bern, Switzerland.
Author Heading: International Federation for Information Processing. WG 6.1.
Publication, Distribution, etc.: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
Publication Date: 1995.
Publication Date (W3CDTF): 1995
Extent: v.
Alternative Title: Also known as FORTE '94
formal description techniques ; FORTE ; IFIP
NDLC: M17
M159
Note (General): Selected papers.
Also known as FORTE '94.
Index term: formal description techniques ; FORTE ; IFIP.
BL shelfmark: 4008.3365 7th 1995.
Holding library: 国立国会図書館
Call No.: M17-96-0538
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003499944
http://id.ndl.go.jp/bib/000003499944
UKMARC No.: G02448860
Bibliographic Record Category (NDL): 215