1.

図書
図書
1. SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
中島震著
出版情報: 東京 : 近代科学社, 2008.4
所蔵情報: loading…
2.

図書
図書
2. ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎
磯部祥尚 [ほか] 著
出版情報: 東京 : 近代科学社, 2008.9
シリーズ名: トップエスイー基礎講座 ; 1
所蔵情報: loading…
3.

図書
図書
3. 実例で学ぶソフトウェア開発
NTTデータソフトウェア工学推進センタ編著
出版情報: 東京 : オーム社, 2008.3
所蔵情報: loading…