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

　組み込みソフトウェアは年々巨大化し，従来の開発手法では品質が保証できなくなってきています．そこで登場した考え方として「形式手法(Formal Method)」があります．仕様を厳密に定義するための形式仕様記述，モデルの論理的な検証手法である形式検証について，LTSA，Alloy，CBMC，VDMなどの容易に入手できるツールを使いながら学んでいきます．・・・詳細を読む

• 好評発売中！
• 定価3,360円(税込)

JANコード：JAN9784789838085

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

　プログラミングにおいて，実行ファイルを作成するには「リンク」の作業が必要になります．さらにその実行形式を実際に動作させるためには「ロード」の作業が必要です．本書では，リンクとロードについて，実践を交えながら説明します．コア・ダンプからの実行再開やリンカの自作など，興味深い実験も行います．・・・詳細を読む

• 好評発売中！
• 定価2,940円(税込)

JANコード：JAN9784789838078

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

　本書は，「組み込みシステムでロジカル・シンキングしてみよう」というコンセプトの本です．本書には，筆者の鍛え上げたロジックと現場の経験による，組み込みシステムの開発のヒントと知恵が多数掲載されています．実際に組み込みシステムを開発されている方にも，これから開発をされる方にも役立つ1冊となるでしょう．・・・詳細を読む

• 好評発売中！
• 定価2,310円(税込)

JANコード：JAN9784789838061