Interpretation of STM by CSP (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2012-1)

Interpretation of STM by CSP = STMのCSPによる解釈

(Programming science technical report = 算譜科学研究速報 ; AIST-PS-2012-1)

Author: Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Noriyuki Katahira, Van Tang Nguyen, Hitoshi Ohsaki [著]

Publisher: Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology

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: 図書
Title: Interpretation of STM by CSP
Title Transcription: Interpretation of STM by CSP
Author/Editor: Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Noriyuki Katahira, Van Tang Nguyen, Hitoshi Ohsaki [著]
Series Title: Programming science technical report = 算譜科学研究速報 ; AIST-PS-2012-1
Author/Editor (Series Title): 産業技術総合研究所 (組込みシステム技術連携研究体) 編
Publication, Distribution, etc.: Amagasaki : Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology
Publication Date: 2012.1
Publication Date (W3CDTF): 2012
Extent: 14p
Size: 30cm
Alternative Title: STMのCSPによる解釈 STM ノ CSP ニヨルカイシャク
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M159-B136
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023522382
http://id.ndl.go.jp/bib/023522382
National Bibliography No. (JPNO): 22068729
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 111