システム検証の科学技術シンポジウム予稿集第5回

システム検証の科学技術シンポジウム予稿集. 第5回

Call No. (NDL): M159-J358
Bibliographic ID of National Diet Library: 000009915693

Material type: 図書

Author: 日本ソフトウェア科学会

Publisher: 日本ソフトウェア科学会ディペンダブルシステム研究会

Publication date: 2008.11

Material Format: Paper

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

NDC: 007.63

View All

Notes on use

Note (General)：: 会期・会場: 2008年11月17日-11月19日筑波大学大学会館国際会議室 (つくばキャンパス)

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: 図書
ISSN: 1341-870X
Title: システム検証の科学技術シンポジウム予稿集
Title Transcription: システムケンショウノカガクギジュツシンポジウムヨコウシュウ
Volume: 第5回
Author Heading: 日本ソフトウェア科学会ニホンソフトウェアカガッカイ ( 00258002 )Authorities
Publication, Distribution, etc.: 東京 : 日本ソフトウェア科学会ディペンダブルシステム研究会
Publication Date: 2008.11
Publication Date (W3CDTF): 2008
Extent: 155p
Size: 30cm
Alternative Title: Proceedings of the 5th symposium on system verification
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: ソフトウェア--品質管理ソフトウェアヒンシツカンリ ( 00963619 )Authorities
NDC 9th ed.: 007.63 : Information science
NDLC: M159
Target Audience: 一般
Note (General): 会期・会場: 2008年11月17日-11月19日筑波大学大学会館国際会議室 (つくばキャンパス)
Note (Bibliography): 文献あり
Holding library: 国立国会図書館
Call No.: M159-J358
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009915693
http://id.ndl.go.jp/bib/000009915693
National Bibliography No. (JPNO): 21515630
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 111