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

ギフトで購入

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

本位田真一, 田中譲(監修), 磯部祥尚, 粂野文洋, 櫻庭健年, 田口研治(著)

近代科学社

~~4,180円~~ 2,090円 (1,900円+税) 《特価》

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

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

リンク用タグ生成

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

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

書籍詳細用

ソフトウェア科学基礎：最先端のソフトウェア開発に求められる数理的基礎（トップエスイー基礎講座1）【電子書籍】

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

詳細を見る

<div class="amazlet-box" style="margin-bottom:0px;"><div class="amazlet-image" style="float:left;margin:0px 12px 1px 0px;"><a href="https://tatsu-zine.com/books/basics-of-software-science" name="amazletlink" target="_blank"><img src="https://tatsu-zine.com/images/books/935/cover_s.jpg" alt="ソフトウェア科学基礎：最先端のソフトウェア開発に求められる数理的基礎（トップエスイー基礎講座1）" title="ソフトウェア科学基礎：最先端のソフトウェア開発に求められる数理的基礎（トップエスイー基礎講座1）" style="border: none;" /></a></div><div class="amazlet-info" style="line-height:120%;margin-bottom:10px"><div class="amazlet-name" style="margin-bottom:10px;line-height:120%"><a href="https://tatsu-zine.com/books/basics-of-software-science" name="amazletlink" target="_blank">ソフトウェア科学基礎：最先端のソフトウェア開発に求められる数理的基礎（トップエスイー基礎講座1）【電子書籍】</a></div><div class="amazlet-detail">本位田 真一, 田中 譲(監修), 磯部 祥尚, 粂野 文洋, 櫻庭 健年, 田口 研治(著)<br />近代科学社<br />発行日: 2018-03-23<br />対応フォーマット: PDF, EPUB<br /></div><div class="amazlet-sub-info" style="float:left;"><div class="amazlet-link" style="margin-top:5px"><a href="https://tatsu-zine.com/books/basics-of-software-science" name="amazletlink" target="_blank">詳細を見る</a></div></div></div><div class="amazlet-footer" style="clear:left"></div></div>

テキストリンク用

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

画像リンク用

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