An algebraic formal method for component based software developments

著者

• 飯田, 周作 イイダ, シュウサク

書誌事項

An algebraic formal method for component based software developments

by Shusaku Iida

Shusaku Iida, 1999.3

注記

Thesis (doctoral)--Japan Advanced Institute of Science and Technology, 1999, 博情第52号

• NII書誌ID(NCID): BA48101703
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Tatsunokuchi-machi, Ishikawa]
• ページ数/冊数: v, 144 p.
• 大きさ: 30 cm