国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
書誌情報:Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
edited by W. Bibel and K.P. Jantke.
Berlin ; New York : Springer , c1986.
245 p. : ill. ; 25 cm.
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
pbk.
0
中央5階洋
007.1
L 49
215
00514535
利用可
一般
選択行を:
書誌詳細
刊年
1986
形態
245 p. : ill. ; 25 cm.
シリーズ名
Lecture notes in computer science ; 215
注記
Includes bibliographies.
出版国
ドイツ
標題言語
英語
本文言語
英語
著者情報
Bibel, W., 1938-
Jantke, Klaus P.
分類
LCC:QA76.76.D47
DC19:005.1
ISBN
0387164448(pbk.)
3540164448
件名
LCSH:Computersoftware -- Development -- Congresses.
番号
LCCN : 86195028
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。