抽象解釈に基づくソフトウェアの段階的構成法とその評価
インターネットで読む
国立国会図書館デジタルコレクション
資料に関する注記
一般注記:
要旨
目次
p1
1 はじめに
p2
1.1 背景
1.2 段階的詳細化
p6
みなサーチに登録・ログインで利用できます
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。