The SPIN model checker : primer and reference manual
著者
書誌事項
The SPIN model checker : primer and reference manual
Addison-Wesley, c2004
- : pbk
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"This product is printed digitally on demand. This book is the paperback version of an original hardcover book"--T.p. verso
"Second printing, December 2005"--T.p. verso
Includes index
