• 1 件中、 1 件目

プログラム仕様記述論 貸出可

荒木 啓二郎／共著 -- オーム社 -- 2002.11 -- 007.64 ／007.64

https://www2.tosyo-saga.jp/kentosyo2/opac/switch-detail.do?bibid=1100546978

• • 予約かごへ
• • 本棚へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
県立（本館）	大和講堂	/007.6/A64/	113567382	一般図書	利用可	在架

ページの先頭へ

資料詳細

タイトル	プログラム仕様記述論
叢書名	IT Text
著者	荒木 啓二郎 ／共著, 張 漢明 ／共著
出版者	オーム社
出版年	2002.11
ページ数	191p
大きさ	21cm
一般件名	プログラミング(コンピュータ)
NDC分類	007.64 ／ 007.64
内容紹介	ソフトウェア開発における形式手法の入門書。高品質のソフトウェアの開発に向け、プログラムの正しさを証明するための理論と形式仕様記述を解説する。情報関連の大学生およびソフトウェア技術者が対象。
ISBN13桁	4-274-13263-3

ページの先頭へ

所蔵場所が「大和書庫」（所蔵場所の名称が、「大和講堂」、「大和研修」、
「大和新１」、「大和新２」、「大和新３」）の本については、遠方に保管
しているため、お取り寄せに１０日程度かかる場合がありますので、
ご了承ください。（貸出中の場合は、返却後となります。）
なお、「大和書庫」の本は、あらかじめ予約をお願いいたします。

状態が「市町巡回貸出」の本については、市町図書館支援のため優先貸出中です。
当館での提供開始までに最長3か月程度かかりますので、ご了承ください。