Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /

保存先:

書誌詳細
共著者:	FORTE 2001 Cheju-do, Korea, ebrary, Inc
その他の著者:	Kim, Myungchul
フォーマット:	電子媒体会議録 eBook
言語:	英語
出版事項:	New York : Kluwer Academic, c2001.
主題:	Electronic data processing > Distributed processing > Congresses. Formal methods (Computer science) > Congresses. Electronic books.
オンライン･アクセス:	An electronic book accessible through the World Wide Web; click to view
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

インターネット