現在このキーワードページは無効になっています。
| 著者 | 林 晋 |
|---|---|
| 出版社 | 共立出版 |
| ジャンル | 専門書 |
| ISBNコード | 9784320026582 |
| 登録日 | 2013/11/19 |
| リクエストNo. | 58848 |
（「MARC」データベースより）
1.プログラムの検証 2.ホーア論理入門 3.形式的理論 4.ホーア論理詳説 5.ホーア論理の数学 6.ダイクストラの検証法 7.古典理論を越えて 8.形式的技法
1.プログラムの検証 2.ホーア論理入門 3.形式的理論 4.ホーア論理詳説 5.ホーア論理の数学 6.ダイクストラの検証法 7.古典理論を越えて 8.形式的技法
投票コメント （全12件）
2018/04/30
2018/04/30
2017/07/17
2017/07/17
2013/11/19
2013/11/19
2024/01/16
2024/01/16
2022/02/23
2022/02/23