|
HOKUGA >
北海学園大学 >
工学部・工学研究科 >
研究紀要 >
北海学園大学工学部研究報告 >
第53号 >
このアイテムの引用には次の識別子を使用してください:
http://hokuga.hgu.jp/dspace/handle/123456789/5162
|
| タイトル: | UNIXファイルシステムの形式化における不変性の拡張と一般化 |
| その他のタイトル: | Extension and generalization of invariance properties in the formalization of UNIX file−system |
| 著者: | 佐藤, 晴彦
SATO, Haruhiko |
| 発行日: | 9-Jan-2026 |
| 出版者: | 北海学園大学工学部 |
| 引用: | 北海学園大学工学部研究報告 |
| シリーズ番号/レポート番号: | 53 |
| URI: | http://hokuga.hgu.jp/dspace/handle/123456789/5162 |
| ISSN: | 02865262 |
| 出現コレクション: | 第53号
|
このリポジトリに保管されているアイテムは、他に指定されている場合を除き、著作権により保護されています。
|
