Industrial use of formal methods : Colloquium : May 1997, London, UK. (Colloquium Digest - IEE ; 1997-171)

Industrial use of formal methods : Colloquium : May 1997, London, UK.

(Colloquium Digest - IEE ; 1997-171)

Author: Institution of Electrical Engineers. Computing and Control Division. Professional Group C1 (Software Engineering)

Notes on use

Note (General)：: Selected papers and programme.Index term: formal methods ; IEE ; industrial use.BL shelfmark: 3315.470 no 171 1997.

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: 図書
ISSN: 0963-3308
Title: Industrial use of formal methods : Colloquium : May 1997, London, UK.
Series Title: Colloquium Digest - IEE ; 1997-171
Author Heading: Institution of Electrical Engineers. Computing and Control Division. Professional Group C1 (Software Engineering)
Publication, Distribution, etc.: IEE
Publication Date: 1997.
Publication Date (W3CDTF): 1997
Extent: v.
Alternative Title: formal methods ; IEE ; industrial use
NDLC: M17
M159
Note (General): Selected papers and programme.
Index term: formal methods ; IEE ; industrial use.
BL shelfmark: 3315.470 no 171 1997.
Holding library: 国立国会図書館
Call No.: M17-98-1144
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003505893
http://id.ndl.go.jp/bib/000003505893
UKMARC No.: G05552697
Bibliographic Record Category (NDL): 215