図書

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)

Icons representing 図書

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99. 6

(レクチャーノート/ソフトウェア学 ; 22)

Call No. (NDL)
M159-G186
Bibliographic ID of National Diet Library
000002841950
Material type
図書
Author
荒木啓二郎, 張漢明 編
Publisher
近代科学社
Publication date
1999.12
Material Format
Paper
Capacity, size, etc.
282p ; 26cm
NDC
007.61
View All

Search by Bookstore

Search by Bookstore

Table of Contents

  • 目次

  • 招待講演

  • ソフトメカニクスにおける制御プログラムの構成/ 1

    嘉数侑昇（北海道大学）

  • 鉄道信号におけるソフトウェア安全性技術とフォーマルメソッド/ 2ー6

    荻野隆彦||平尾裕司 （鉄道総研）

  • ミニワークショップ

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Northern Japan

  • 札幌市中央図書館

    Paper
    Call No.：
    007.6/ｿ/
    Book Registration Number：
    0113422935
    札幌市中央図書館

  • 青森県立図書館

    Paper
    Call No.：
    007.61-ｿﾌﾄｳｴｱ-(6)
    Book Registration Number：
    10212399307
    青森県立図書館

  • 宮城県図書館

    Paper
    Call No.：
    007.63/1996.1/6
    Book Registration Number：
    1006930059
    宮城県図書館

Kanto

Search by Bookstore

Publication bibliographic database Books Find a bookstore where you can purchase books from

Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.

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
図書
ISBN
4-7649-0278-8
Title
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99
Title Transcription
ソフトウェア コウガク ノ キソ : ニホン ソフトウェア カガッカイ FOSE '99
Volume
6
Author/Editor
荒木啓二郎, 張漢明 編
Series Title
レクチャーノート/ソフトウェア学 ; 22
Author/Editor (Series Title)
武市正人, 米澤明憲 編
Author Heading
荒木, 啓二郎, 1954- アラキ, ケイジロウ, 1954- ( 00166447 )Authorities
張, 漢明, 1963- チョウ, カンメイ, 1963- ( 00763417 )Authorities
武市, 正人, 1948- タケイチ, マサト, 1948- ( 00079809 )Authorities
米沢, 明憲, 1947- ヨネザワ, アキノリ, 1947- ( 00158978 )Authorities
Publication, Distribution, etc.
東京 : 近代科学社