Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science)
この書籍に関する評価・詳細レビューはまだありません。
タグを入れることで、書籍管理ページで、タグ毎に書籍を表示することが出来るようになります。
また、スペース区切りで入力することで1つの書籍に複数のタグをつけることもできます。
※注意: このタグはあなたの管理用だけでなく、書籍自体のタグとしても登録されます。あなた以外の人に見られても問題ないタグをつけてください。
また、スペース区切りで入力することで1つの書籍に複数のタグをつけることもできます。
※注意: このタグはあなたの管理用だけでなく、書籍自体のタグとしても登録されます。あなた以外の人に見られても問題ないタグをつけてください。
友人に本をおすすめする
相互フォローしている友人がまだいません。
