عرض عادي
Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever ... [and others].
نوع المادة : نصالسلاسل:Cambridge tracts in theoretical computer science ; 54.الناشر:Cambridge ; New York : Cambridge University Press, 2010وصف:xxii, 776 pages : illustrations ; 23 cmنوع المحتوى:- text
- unmediated
- volume
- 0521169321 (pbk)
- 9780521169325 (pbk)
- QA76.58 C6643 2010
نوع المادة | المكتبة الحالية | رقم الطلب | رقم النسخة | حالة | تاريخ الإستحقاق | الباركود | |
---|---|---|---|---|---|---|---|
كتاب | UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | QA76.58 C6643 2010 (إستعراض الرف(يفتح أدناه)) | C.1 | Library Use Only | داخل المكتبة فقط | 300100324160 | ||
كتاب | UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | QA76.58 C6643 2010 (إستعراض الرف(يفتح أدناه)) | C.2 | المتاح | 300100324161 |
Originally published: 2001.
Includes bibliographical references (710-746) and index.