JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
Jun.2010 - Mar.2011 >

Please use this identifier to cite or link to this item: http://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: http://hdl.handle.net/10119/9746
Appears in Collections:M-IS. 平成22年度 (Jun.2010 - Mar.2011)

Files in This Item:

File Description SizeFormat
abstract.pdf27KbAdobe PDFView/Open
jabstract.pdf22KbAdobe PDFView/Open
paper.pdf491KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology