ホーム
詳細
並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)
磯部 祥尚
￥ 4,968
ISBN：
4764904357
出版社：
近代科学社
発売日：
2012-12-26
Amazon で詳細を確認
この書籍を紹介している記事 (1)
2014年に読んだ技術書で良かったもの - うさぎ組
2014-12-25
kyon-mm.hatenablog.com
