形式手法の産業界応用ワークショップ : 予稿集 2011 (算譜科学研究速報 ; AIST-PS-2011-1)

形式手法の産業界応用ワークショップ : 予稿集. 2011

(算譜科学研究速報 ; AIST-PS-2011-1)

Call No. (NDL): M159-J1289
Bibliographic ID of National Diet Library: 000011198428

Material type: 図書

Author: 産業技術総合研究所組込みシステム技術連携研究体編

Publisher: 産業技術総合研究所組込みシステム技術連携研究体

Publication date: 2011.4

Material Format: Paper

Capacity, size, etc.: 86p ; 30cm

NDC: 007.61

View All

Notes on use

Note (General)：: 会期・会場: 2011年4月26日千里ライフサイエンスセンター

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: 形式手法の産業界応用ワークショップ : 予稿集
Title Transcription: ケイシキシュホウノサンギョウカイオウヨウワークショップ : ヨコウシュウ
Volume: 2011
Author/Editor: 産業技術総合研究所組込みシステム技術連携研究体編
Series Title: 算譜科学研究速報 ; AIST-PS-2011-1
Author Heading: 産業技術総合研究所組込みシステム技術連携研究体サンギョウギジュツソウゴウケンキュウジョクミコミシステムギジュツレンケイケンキュウタイ ( 01210916 )Authorities
Publication, Distribution, etc.: 尼崎 : 産業技術総合研究所組込みシステム技術連携研究体
Publication Date: 2011.4
Publication Date (W3CDTF): 2011
Extent: 86p
Size: 30cm
Alternative Title: Workshop on Industrial Applications of Formal Methods
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: システム開発システムカイハツ ( 00679589 )Authorities
NDC 9th ed.: 007.61 : Information science
NDLC: M159
Target Audience: 一般
Note (General): 会期・会場: 2011年4月26日千里ライフサイエンスセンター
Holding library: 国立国会図書館
Call No.: M159-J1289
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011198428
http://id.ndl.go.jp/bib/000011198428
National Bibliography No. (JPNO): 21936045
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 111