トップページ
｜
お問合せ
｜
English
書籍
定期刊行物
プロシーディング
CD-ROM
JAIST Pressとは
書籍の購入方法
法令工学の実践 国民年金法の述語論理による記述と検証
法令工学の実践 国民年金法の述語論理による記述と検証
片山卓也
ISBN 978-4-903092-53-9
なお，本文PDFはJAIST学術研究成果リポジトリから閲覧可能です。
概要
PDFダウンロード（445KB）
Copyright © 2005 JAIST Press. All rights reserved.
法令工学の実践 国民年金法の述語論理による記述と検証