Нүүр зураг
QR код

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 /

Бусад хувилбаруудыг харуулах (1)
-д хадгалсан:
Байгууллагын зохиогчид: FORTE 2001 Cheju-do, Korea, ebrary, Inc
Бусад зохиолчид: Kim, Myungchul
Формат: Цахим Бага хурлын үйл явц Цахим ном
Хэл сонгох:англи
Хэвлэсэн: 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
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
Биет тодорхойлолт:xii, 458 p. : ill.
Номзүй:Includes bibliographical references and index.

Ижил төстэй зүйлс