ソフトウェア工学の道具としての形式手法 (NII technical report ; NII-2007-7J)

ソフトウェア工学の道具としての形式手法

(NII technical report ; NII-2007-7J)

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 (series): 1346-5597
Title: ソフトウェア工学の道具としての形式手法
Title Transcription: ソフトウェアコウガクノドウグトシテノケイシキシュホウ
Author/Editor: 中島震 [著]
Series Title: NII technical report ; NII-2007-7J
Publication, Distribution, etc.: [Tokyo] : National Institute of Informatics
Publication Date: 2007.7
Publication Date (W3CDTF): 2007
Extent: 22p
Size: 30cm
Place of Publication (Country Code): JP
Text Language Code: jpn
NDLC: Y251
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: Y251-H1617
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008869584
http://id.ndl.go.jp/bib/000008869584
National Bibliography No. (JPNO): 21272788
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 117