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 /
محفوظ في:
| مؤلفون مشاركون: | , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | الكتروني وقائع المؤتمر كتاب الكتروني |
| اللغة: | الإنجليزية |
| منشور في: |
New York :
Kluwer Academic,
c2001.
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | An electronic book accessible through the World Wide Web; click to view |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| وصف مادي: | xii, 458 p. : ill. |
|---|---|
| بيبلوغرافيا: | Includes bibliographical references and index. |