The SPIN model checker : primer and reference manual

書誌事項

The SPIN model checker : primer and reference manual

Gerard J. Holzmann

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

詳細情報

  • NII書誌ID(NCID)
    BB08523739
  • ISBN
    • 9780321773715
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Boston
  • ページ数/冊数
    xii, 596 p.
  • 大きさ
    24 cm
  • 分類
  • 件名
ページトップへ