<電子ブック>
Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers

責任表示
著者
本文言語
出版者
出版年
出版地
冊子版へのリンク
本文を見る Springer Lecture Notes in Computer Science eBooks: 2001

詳細

レコードID
刊行頻度
データベース タイトル
主題
管理番号
eISBN
XISBN
登録日 2023.09.29
更新日 2023.09.29