Formal description techniques : 1st International conference : Sep 1988, Stirling.

Notes on use

Note (General)：: Papers.Also known as FORTE 88.Index term: formal description techniques ; FORTE....

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: 0444871268
Title: Formal description techniques : 1st International conference : Sep 1988, Stirling.
Author Heading: University of Stirling.
Publication, Distribution, etc.: North-Holland
Publication Date: 1989.
Publication Date (W3CDTF): 1989
Extent: v.
Alternative Title: Also known as FORTE 88
formal description techniques ; FORTE
NDLC: M17
M159
Note (General): Papers.
Also known as FORTE 88.
Index term: formal description techniques ; FORTE.
BL shelfmark: 4008.3365 1st 1988.
Holding library: 国立国会図書館
Call No.: M17-89-0699
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003474497
http://id.ndl.go.jp/bib/000003474497
UKMARC No.: G01130707
Bibliographic Record Category (NDL): 215