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

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

買い物カゴを見る

WebShopシリーズ一覧>COMPUTER TECHNOLOGYシリーズ


(全データ数:3 全ページ数:1 現在のページ:1

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

 組み込みソフトウェアは年々巨大化し,従来の開発手法では品質が保証できなくなってきています.そこで登場した考え方として「形式手法(Formal Method)」があります.仕様を厳密に定義するための形式仕様記述,モデルの論理的な検証手法である形式検証について,LTSA,Alloy,CBMC,VDMなどの容易に入手できるツールを使いながら学んでいきます.
  • 好評発売中!
  • 定価3,456円(税込)
  1. 商品案内を見る
  2. 購入

リンカ・ローダ実践開発テクニック

 プログラミングにおいて,実行ファイルを作成するには「リンク」の作業が必要になります.さらにその実行形式を実際に動作させるためには「ロード」の作業が必要です.本書では,リンクとロードについて,実践を交えながら説明します.コア・ダンプからの実行再開やリンカの自作など,興味深い実験も行います.
  • 好評発売中!
  • 定価3,024円(税込)
  1. 商品案内を見る
  2. 購入

組み込みエンジニアのためのロジカル・シンキング入門

 本書は,「組み込みシステムでロジカル・シンキングしてみよう」というコンセプトの本です.本書には,筆者の鍛え上げたロジックと現場の経験による,組み込みシステムの開発のヒントと知恵が多数掲載されています.実際に組み込みシステムを開発されている方にも,これから開発をされる方にも役立つ1冊となるでしょう.
  • 好評発売中!
  • 定価2,376円(税込)
  1. 商品案内を見る
  2. 購入

(全データ数:3 全ページ数:1 現在のページ:1

ようこそCQ SHOPへ

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

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