Translucid contracts Expressive specification and modular verification of aspect oriented interfaces

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1133 ) :: Translucid contracts Expressive specification and modular verification of aspect oriented interfaces رسالة ماجستير - تحميل مباشر

تفاصيل كتاب Translucid contracts Expressive specification and modular verification of aspect oriented interfaces

التصنيف: رسائل ماجستير ودكتوراه -> علم الحاسوب

حجم الملف: 849 KB
نوع الملف: pdf
أضيف بواسطة: Y4$$3R N3T
بتاريخ: 19-08-2018
عدد مرات التحميل: 1
مرات الزيارة: 207

عرض جميع الكتب التي أضيفت بواسطة: Y4$$3R N3T

تحميل كتاب Translucid contracts Expressive specification and modular verification of aspect oriented interfaces

اخترنا لك أيضاً

تحميل كتاب Resilient Resource Allocation Schemes in Optical Networks

Resilient Resource Allocation Schemes in Optical Networks

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 383 ) :: Resilient Resource

تحميل كتاب Behavioural Based Biometrics Using Keystroke Dynamics for User Authentication

Behavioural Based Biometrics Using Keystroke Dynamics for User Authentication

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 335 ) :: Behavioural Based

تحميل كتاب An extensible natural-language query interface to the DBpedia Triple-store

An extensible natural-language query interface to the DBpedia Triple-store

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 471 ) :: An extensible natu

تحميل كتاب On the Extended Hensel Construction and its Application to the Computation of Real Limit Points

On the Extended Hensel Construction and its Application to the Computation of Real Limit Points

(1)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 782 ) :: On the Extended He

تحميل كتاب Phase-based tuning better utilized performance asymmetric multicores

Phase-based tuning better utilized performance asymmetric multicores

(1)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1161 ) :: Phase-based tunin

تحميل كتاب Examining Scholarly Influence- A Study in Hirsch Metrics and Soci

Examining Scholarly Influence- A Study in Hirsch Metrics and Soci

(1)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 485 ) :: Examining Scholarl

تحميل كتاب Designing and Handling Failure issues in a Structured Overlay Net

Designing and Handling Failure issues in a Structured Overlay Net

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 414 ) :: Designing and Hand

تحميل كتاب Salient Search

Salient Search

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 587 ) :: Salient Search رسا

تحميل كتاب intrusion detection management as a service in cloud computing environments

intrusion detection management as a service in cloud computing environments

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 292 ) :: intrusion detectio

تحميل كتاب Adaptive Edge-guided Block-matching and 3D filtering (BM3D) Image

Adaptive Edge-guided Block-matching and 3D filtering (BM3D) Image

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 798 ) :: Adaptive Edge-guid

تحميل كتاب Algorithms for Glycan Structure Identification with Tandem Mass Spectrometry

Algorithms for Glycan Structure Identification with Tandem Mass Spectrometry

(1)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 775 ) :: Algorithms for Gly

تحميل كتاب A quantitative method for measuring and visualizing species rela

A quantitative method for measuring and visualizing species rela

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 801 ) :: A quantitative met

أكثر الكتب زيارة وتحميلاً:

أضف كتاباً

سـاهم في إثراء المكتبة العربية

مكتبة ملتقى جامعة دمشق الإلكترونية التفاعلية
أحد مشاريع شركة Shabab SY البرمجية
معا نرتقي...

جميع الحقوق محفوظة لمؤلفي الكتب ولدور النشر
موقعنا لا ينتهك أى حقوق طبع أو تأليف وكل ما هو متاح عليه من رفع ونشر أعضاء الموقع الكرام، وفى حال وجود أى كتاب ينتهك حقوق الملكية برجى الإتصال بنا على [email protected]
الرؤية والأهداف | سياسة الخصوصية | إتفاقية الاستخدام | DMCA