復刊 数理論理学作者: 松本和夫出版社/メーカー: 共立出版発売日: 2001/08/15メディア: 単行本購入: 3人 クリック: 12回この商品を含むブログ (6件) を見る数理論理学の基本がコンパクトにまとまっている。数理論理学の入門書はたくさんあり、それぞれまとめ…

基本から学ぶソフトウェアテスト作者: Cem Kaner,Hung Quoc Nguyen,Jack Falk,テスト技術者交流会出版社/メーカー: 日経BP社発売日: 2001/11/25メディア: 単行本購入: 5人 クリック: 151回この商品を含むブログ (24件) を見る

Model Checking Abstract State Machines Kirsten Winter (著) Model Checking Abstract State Machines作者: Kirsten Winter出版社/メーカー: VDM Verlag発売日: 2008/05/30メディア: ペーパーバックこの商品を含むブログ (1件) を見る Product Description…

Formal Software Development: From VDM to Java作者: Quentin Charatan,Aaron Kans出版社/メーカー: Red Globe Press発売日: 2003/09/09メディア: ペーパーバック クリック: 2回この商品を含むブログ (2件) を見る Contents Preface xi 1 High Integrity So…