close
1.

電子ブック
ＥＢ
1. Model Checking Software
International SPIN Workshop, Matthew Dwyer, ACM Sigsoft., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Proceedings of the 8th international SPIN workshop on Model checking of software
International SPIN Workshop, Matthew Dwyer, ACM Sigsoft., Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼