ＳＰＩＮモデル検査入門
ＳＰＩＮを学ぶための優れた入門書の日本語翻訳。徐々にカリキュラムの難度を上げながらＳＰＩＮを実際に動かしつつ、モデル記述やＳＰＩＮを用いた検証を支える考え方や概念まで、着実に身につけることができる書。
お気に入りカテゴリ
よく利用するジャンルを設定できます。
カテゴリ
「+」ボタンからジャンル（検索条件）を絞って検索してください。
表示の並び替えができます。
