The spin model checker : primer and reference manual /

相似书籍

• Principles of the spin model checker /
  由: 288973 Ben-Ari, Mordechai
  出版: (2008)
• Design and validation of computer protocols /
  由: 455693 Holzmann, Gerard J.
  出版: (1991)
• Beyond photography : the digital darkroom/
  由: 455693 Holzmann, Gerard J.
  出版: (1988)
• The annotated C++ reference manual /
  由: 342450 Ellis, Margaret A., et al.
  出版: (1990)
• Lotus 1,2,3 : reference manual
  出版: ([19-)