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

SPIN Niyoru Sekkei Model Kensho

SPINによる設計モデル検証 - 本位田真一/監修 萩谷昌己/監修 吉岡信和/著 青木利晃/著 田原康之/著

SPIN Niyoru Sekkei Model Kensho
eBooks Edition
If you want to read eBooks on PC, click here.
Viewer Type viewer_image Neowing eBook Reader
Price 3960 yen
Points You Earn 39 points (1%)
Compatible Devices
Pages
    251
Release Date Feb 14, 2020(JST)

Description in Japanese

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

昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。

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