Formal techniques for networked and distributed systems -- FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. : Nov 2002, Houston, TX. (Lecture Notes in Computer Science ; 2529)
Formal techniques for networked and distributed systems -- FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. : Nov 2002, Houston, TX.
(Lecture Notes in Computer Science ; 2529)
国立国会図書館請求記号
M17-03-199
国立国会図書館書誌ID
000004002748
資料種別
図書
著者
Rice University. Department of Computer Science.ほか