CQ出版WebShop,書籍案内へようこそ

CQ出版トップページへWebShop書籍・雑誌総合案内会員登録・変更ご利用案内

買い物カゴを見る

WebShopCOMPUTER TECHNOLOGYシリーズ>組み込みソフトへの数理的アプローチ


形式手法によるソフトウェアの仕様記述と検証

組み込みソフトへの数理的アプローチ

組み込みソフトは年々巨大化し,従来手法では品質保証ができなくなってきています.本書では仕様を厳密に定義するための形式仕様記述,モデルの論理的な検証手法である形式検証について,LTSA,Alloy,CBMC,VDMなどの入手できるツールを使いながら学びます.
  • 藤倉 俊幸 / 著
  • 好評発売中!
  • 定価3,456円(税込)
  1. 詳細を見る
  2. 購入
在庫残りわずかです

この商品を買った人はこんな商品も買っています.

小型DCモータの基礎・応用

モータの構造や動作原理を知り,モータ制御の3大要素「速度制御・トルク制御・位置制御」と実際の回路を学ぶのに好適な書籍です.これからモータ応用製品や産業用ロボットの開発に携わるエンジニア諸兄,ホビー用ロボットを試作したい方におすすめです.
  • 好評発売中!
  • 定価2,592円(税込)
  1. 商品案内を見る
  2. 購入

ようこそCQ SHOPへ

Copyright(C) 2019 CQ Publishing Co.,Ltd.All rights reserved

会社案内求人情報プライバシ・ポリシお問い合わせ