yr 〜
yr

Search results 3

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)
Paper図書
近代科学社2013.11<M159-L297>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00971252 001155890 00079809 00158978

アサーションベース設計

アサーションベース設計
Paper図書
Harry D.Foster, Adam C.Krolnik, David J.Lacey 著, 東野輝夫, 岡野浩三, 中田明夫 監訳丸善2004.9<ND386-H98>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00971242 00971249 00971251 00388337 00971252 00971255

順序機械型プログラムの階層的設計と分散実行プログラム群への変換

順序機械型プログラムの階層的設計と分散実行プログラム群への変換
PaperDigital博士論文障害者向け資料あり
岡野浩三 [著]<UT51-95-G499>
National Diet Library
  • Author Heading (ID)00971252

Reached to the end of result.