文献
J-GLOBAL ID：201202210715706921   整理番号：12A0168355

データ精緻化を用いた不変ダイアグラム

Invariant diagrams with data refinement
著者 (2件)：
PREOTEASA Viorel

PREOTEASA Viorel について

(Åbo Akademi Univ., Dep. of Information Technologies, Joukahaisenkatu 3-5 A, 20520, Turku, FIN)

Åbo Akademi Univ., Dep. of Information Technologies, Joukahaisenkatu 3-5 A, 20520, Turku, FIN について

, 
BACK Ralph-Johan

BACK Ralph-Johan について

(Åbo Akademi Univ., Dep. of Information Technologies, Joukahaisenkatu 3-5 A, 20520, Turku, FIN)

Åbo Akademi Univ., Dep. of Information Technologies, Joukahaisenkatu 3-5 A, 20520, Turku, FIN について


資料名：
Formal Aspects of Computing  (Formal Aspects of Computing)

Formal Aspects of Computing について


巻： 24  号： 1  ページ： 67-95  発行年： 2012年01月 
JST資料番号： T0973A  ISSN： 0934-5043  資料種別： 逐次刊行物 (A)
発行国： ドイツ (DEU)  言語： 英語 (EN)
タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
不変

不変 について

, 
ダイアグラム

ダイアグラム について


前のページに戻る

TOP

BOTTOM