SPIN Model Kensa Nyumon / Original Title: Principles of the Spin Model Checker
MordechaiBen Ari Nakajima Shin Tanitsu Koichi Nonaka Akira Adachi Taro
Points You Earn | 1% (33p) |
---|---|
Release Date | March 24, 2010 |
Availability | Sold Out |
Product Details
Catalog No. | NEOBK-740223 |
---|---|
JAN/ISBN | 9784274208447 |
Product Type | BOOK |
Pages | 241 |
---|
Books are basically written in Japanese except for bilingual books or ones indicated as not written only in Japanese.
Related Artists
Description in Japanese
SPINモデル検査入門 / 原タイトル:Principles of the Spin model checker / MordechaiBen‐Ari 中島震 谷津弘一 野中哲 足立太郎
Related Offer & Feature
Tracklisting
1 |
PROMELA逐次モデル記述
|
2 |
逐次モデル記述の検証
|
3 |
並行性
|
4 |
同期機構
|
5 |
時相論理による検証
|
6 |
データとモデル記述の構造
|
7 |
通信チャネル
|
8 |
非決定性
|
9 |
PROMELAの高度な使い方
|
10 |
SPINの高度な話題
|
11 |
ケーススタディ
|
Customer Reviews
Find out what other customers have to say about this item. Please also write your own review.
This item is no longer available at our website, but it may still be available at other online shops within Japan. If you find one in Proxy Shopping Search results, go to the product page and click on "Get a Quote" button. We will then be glad to obtain it for you (Service Details).
Attention: Proxy Shopping service is provided by CDJapan and order will be place on your behalf by CDJapan, with additional handling fees. For more information, please see Service Details.