組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証藤倉俊幸出版社CQ出版発売日2012-04-01ISBN9784789838085読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
