検索結果 2 件
紙図書
全国の図書館
紙図書
全国の図書館
- 目次・記事... : proceedings Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings Web-age information managemen...
- 関連情報... : proceedings Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings Web-age information managemen...
検索結果は以上です。