Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science)

著者
出版者
Springer
価格
¥12,804
この書籍に対する引用はまだありません。
ウィッシュリストへ追加
非公開
タグ

メモ


ライブラリへ追加
非公開
評価
 
読書ステータス
つぶやく
タグ

メモ


タグを入れることで、書籍管理ページで、タグ毎に書籍を表示することが出来るようになります。
また、スペース区切りで入力することで1つの書籍に複数のタグをつけることもできます。

※注意: このタグはあなたの管理用だけでなく、書籍自体のタグとしても登録されます。あなた以外の人に見られても問題ないタグをつけてください。
ウィッシュリストからライブラリへ移動
評価
 
読書ステータス
つぶやく