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

SPIN Model Kensa : Kensho Modelling Giho

SPIN モデル検査:検証モデリング技法 - 中島震/著

SPIN Model Kensa : Kensho Modelling Giho
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
    258
Release Date Feb 14, 2020(JST)

Description in Japanese

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

社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証(モデル検査法)であり、その中の一つがSPINである。本書は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.

Also by NAKAJIMA SHIN

More published by Kindai Kagaku Sha

Browse similar eBooks