Loading... loading....
Cheaper price than regular books. Find here reasons to use CDJapan eBooks!

Software Kagaku Kiso

ソフトウェア科学基礎 - 本位田真一/監修 田中譲/監修 磯部祥尚/著 粂野文洋/著 櫻庭健年/著 田口研治/著

Software Kagaku Kiso
eBooks Edition
If you want to read eBooks on PC, click here.
Viewer Type viewer_image Neowing eBook Reader
Price 4180 yen
Points You Earn 41 points (1%)
Compatible Devices
Pages
    365
Release Date Feb 14, 2020(JST)

Description in Japanese

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。 本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。

Translate Description

*As it is a machine translation, the result may not provide an accurate description. Please use it only as a reference. *Not available within the China mainland region.

More published by Kindai Kagaku Sha

Browse similar eBooks