代数的仕様記述法に基づく抽象的順序機械へのシステムコールなどの導入

詳細
題名	代数的仕様記述法に基づく抽象的順序機械へのシステムコールなどの導入
著者	稲田良造
	杉山裕二
	鳥居宏次
文献	情報処理学会第３５回（昭和６２年後期）全国大会
種類	inproceeding
	全国大会
日付	1987/9/28-30
番号	26
ファイル