TrueLogic 仕事日記 このページをアンテナに追加 RSSフィード

2010-04-04SPINモデル検査入門を翻訳出版しました

具体例が多く,仕事で使うようなモデルを作るには良い参考書となるのではないかと思っています.よろしれけば読んでみてください.

SPINモデル検査入門

SPINモデル検査入門

http://www.amazon.co.jp/gp/product/4274208443/ref=ord_cart_shr?ie=UTF8&m=AN1VRQENFRJN5

トラックバック - http://specverification.g.hatena.ne.jp/n757uf/20100404