2009-09-25から1日間の記事一覧
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…
