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
مرات الزيارة: 342

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

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

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

تحميل كتاب Identifying Suspended Accounts In Twitter

Identifying Suspended Accounts In Twitter

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 337 ) :: Identifying Suspen

تحميل كتاب Low-latency Estimates for Window-Aggregate Queries over Data Stre

Low-latency Estimates for Window-Aggregate Queries over Data Stre

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 949 ) :: Low-latency Estima

تحميل كتاب ISSUES AND SOLUTIONS OF APPLYING IDENTITY-BASED CRYPTOGRAPHY TO MOBILE AD-HOC NETWORKS

ISSUES AND SOLUTIONS OF APPLYING IDENTITY-BASED CRYPTOGRAPHY TO MOBILE AD-HOC NETWORKS

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 515 ) :: ISSUES AND SOLUTIO

تحميل كتاب Model Order Reduction Using LMI

Model Order Reduction Using LMI

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 953 ) :: Model Order Reduct

تحميل كتاب A Hierarchical Framework for Phylogenetic and Ancestral Genome Reconstruction on Whole Genome Data

A Hierarchical Framework for Phylogenetic and Ancestral Genome Reconstruction on Whole Genome Data

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 686 ) :: A Hierarchical Fra

تحميل كتاب Etude de quelques problèmesn d’évolution du type parabolique لـِ: Aounallah Radhouane Bouaziz Hichem

Etude de quelques problèmesn d’évolution du type parabolique

(1)

لـِ: Aounallah Radhouane Bouaziz Hichem
تحميل رسالة ماجستير بعنوان Etude de quelques problèmesn d’évolution du type para

تحميل كتاب An efficient and fair reliable multicast protocol for 802.11-base

An efficient and fair reliable multicast protocol for 802.11-base

(1)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1117 ) :: An efficient and

تحميل كتاب An Approach for Contextual Control in Dialogue Management with Belief State Trend Analysis and Prediction

An Approach for Contextual Control in Dialogue Management with Belief State Trend Analysis and Prediction

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 514 ) :: An Approach for Co

تحميل كتاب The Performance of Random Prototypes in Hierarchical Models of Vision

The Performance of Random Prototypes in Hierarchical Models of Vision

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 900 ) :: The Performance of

تحميل كتاب Improving Spatially Distributed Multiagent Pathfinding Using Cooperative JPS

Improving Spatially Distributed Multiagent Pathfinding Using Cooperative JPS

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 371 ) :: Improving Spatiall

تحميل كتاب Data Mining of Protein Databases

Data Mining of Protein Databases

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 107 ) :: Data Mining of Pro

تحميل كتاب Sonifying Git History

Sonifying Git History

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 227 ) :: Sonifying Git Hist

أكثر الصفحات زيارة:

أضف كتاباً

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

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

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