|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H22) (Jun.2010 - Mar.2011 >
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10119/9746
|
| Title: | CafeOBJを用いた在庫管理問題の記述と評価 |
| Authors: | 坂本, 淳誌 |
| Authors(alternative): | さかもと, あつし |
| Keywords: | 形式手法
CafeOBJ
rapid prototyping
C言語
在庫管理問題 |
| Issue Date: | Mar-2011 |
| Description: | Supervisor:緒方和博
情報科学研究科
修士 |
| Title(English): | Description and assessment of an inventory management problem using CafeOBJ |
| Authors(English): | Sakamoto, Atsushi |
| Language: | jpn |
| URI: | https://hdl.handle.net/10119/9746 |
| Appears in Collections: | M-IS. 2010年度(H22) (Jun.2010 - Mar.2011)
|
All items in DSpace are protected by copyright, with all rights reserved.
|
