試験公開中

このエントリーをはてなブックマークに追加

ソフトウェア科学基礎:最先端のソフトウェア開発に求められる数理的基礎(トップエスイー基礎講座1)

近代科学社

4,180円 (3,800円+税)

本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。

【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。

リンク用タグ生成

ブログ等に掲載するためのリンク用タグです。それぞれの使い方に応じて貼り付けてください。

※出力するタグは変更することがあります。
※書籍詳細用のタグはamazletに準拠しています。
※アフィリエイト等は今のところついておりません。ご了承ください。

書籍詳細用

本位田 真一, 田中 譲(監修), 磯部 祥尚, 粂野 文洋, 櫻庭 健年, 田口 研治(著)
近代科学社
発行日: 2018-03-23
対応フォーマット: PDF, EPUB

テキストリンク用

ソフトウェア科学基礎:最先端のソフトウェア開発に求められる数理的基礎(トップエスイー基礎講座1)

画像リンク用

ソフトウェア科学基礎:最先端のソフトウェア開発に求められる数理的基礎(トップエスイー基礎講座1)

Home 書籍一覧 ソフトウェア科学基礎:最先端のソフトウェア開発に求められる数理的基礎(トップエスイー基礎講座1) ▲ ページトップへ戻る