Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers - 九大コレクション

＜電子ブック＞
Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers

責任表示	Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha, eds
著者	DSV-IS 2003
	Jorge, J. A
	Jardim Nunes, Nuno
	Falcão e Cunha, João
本文言語	English (英語)
出版者	Springer
出版年	2003-
出版地	Berlin, Germany
出版地	New York
冊子版へのリンク	https://hdl.handle.net/2324/1001144497
本文を見る	Springer Lecture Notes in Computer Science eBooks: 2003

レコードID	7005482
刊行頻度	年刊
データベースタイトル	Springer Lecture Notes in Computer Science eBooks
主題	QA76.9.I58
主題	Interactive computer systems
管理番号	ebs775354e
eISBN	9783540399292[3540399291](online)
XISBN	9783540201595[3540201599]
XISBN	9783662171707[3662171708]
登録日	2023.09.29
更新日	2023.09.29