The SPIN model checker : primer and reference manual

著者

• Holzmann, Gerard J.

書誌事項

The SPIN model checker : primer and reference manual

Gerard J. Holzmann

Addison-Wesley, 2004

注記

Includes index

DC22:620/.001/171

詳細情報

• NII書誌ID(NCID): BA63997715
• ISBN:
  • 9780321228628
• LCCN: 2003057704
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston, MA
• ページ数/冊数: xii, 596 p.
• 大きさ: 25 cm
• 分類:
  • LCC : TA168
• 件名:
  • LCSH : Systems engineering -- Mathematical models
  • LCSH : Computer programs -- Testing