عرض عادي
Software abstractions : logic, language, and analysis / Daniel Jackson.
نوع المادة : نصاللغة: الإنجليزية London : MIT Press, 2016الطبعات:Rev. edوصف:xviii, 354 p. : ill. ; 24 cmنوع المحتوى:- text
- unmediated
- volume
- 9780262528900
- 0262017156 (hardcover : alk. paper)
- QA76.76.D47 J29 2016
نوع المادة | المكتبة الحالية | رقم الطلب | رقم النسخة | حالة | تاريخ الإستحقاق | الباركود | |
---|---|---|---|---|---|---|---|
كتاب | UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | QA76.76.D47 J29 2016 (إستعراض الرف(يفتح أدناه)) | C.1 | Library Use Only | داخل المكتبة فقط | 30020000052361 | ||
كتاب | UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | QA76.76.D47 J29 2016 (إستعراض الرف(يفتح أدناه)) | C.2 | المتاح | 30020000052360 |
Browsing UAE Federation Library | مكتبة اتحاد الإمارات shelves, Shelving location: General Collection | المجموعات العامة إغلاق مستعرض الرف(يخفي مستعرض الرف)
QA76.76.D47 G6522 2011 Software modeling and design : UML, use cases, patterns, and software architectures / | QA76.76.D47 G6522 2011 Software modeling and design : UML, use cases, patterns, and software architectures / | QA76.76.D47 J29 2016 Software abstractions : logic, language, and analysis / | QA76.76.D47 J29 2016 Software abstractions : logic, language, and analysis / | QA76.76.D47 K54 2012 Embedded systems security : practical methods for safe and secure software and systems development / | QA76.76.D47 K54 2012 Embedded systems security : practical methods for safe and secure software and systems development / | QA76.76.D47 K54 2012 Embedded systems security : practical methods for safe and secure software and systems development / |
Includes bibliographical references (p. [337]-343) and index.