.::. جامعة البشير الابراهيمي برج بوعريريج الجزائــــــــر.::.
[center:][b:][img:]http://help.ahlamontada.com/users/68/54/94/smiles/613623.gif[/img:][/b:][/center:]
[b:][color:=darkred]عزيزي الزائر / عزيزتي الزائرة[/color:] [color:=black]يرجي التكرم بتسجبل الدخول اذا كنت عضو معنا [/color:][/b:]
[b:][color:=black]او التسجيل ان لم تكن عضو وترغب في الانضمام الي اسرة المنتدي[/color:][/b:]
[b:][color:=black]سنتشرف بتسجيلك[/color:][/b:]
[b:][color:=green]شكرا[/color:] [img:]http://help.ahlamontada.com/users/68/54/94/smiles/829894.gif[/img:][/b:]
[b:][color:=red]ادارة[/color:] [color:=black]المنتدي[/color:] [img:]http://help.ahlamontada.com/users/68/54/94/smiles/103798.gif[/img:][/b:]

.::. جامعة البشير الابراهيمي برج بوعريريج الجزائــــــــر.::.


 
الرئيسيةس .و .جبحـثالتسجيلدخول

شاطر | 
 

 Development of a programming-language-like temporal logic specification language

استعرض الموضوع السابق استعرض الموضوع التالي اذهب الى الأسفل 
كاتب الموضوعرسالة
BcYoucef
المدير العام
المدير العام


نـــوعـى* :
مـوطنـى* :
عـمـلـى * :
هـوايتـى* :

مُساهمةموضوع: Development of a programming-language-like temporal logic specification language   الجمعة 23 أكتوبر - 19:37

[center]أعزائي أعضاء منتدانا الكرام
أعزائي متصفحي وزوار منتدانا الكريم

إليكم هذه المذكرة تحت عنوان:
[b]
Development of a programming-language-like
temporal logic specification language
[/b]

من تأليف:

Jonathan Streit

*******************

للتحميل إليكم الرابط التالي:

[url=http://www.m.mlfnt.net/download.php?id=2571][ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط]

_________________
[center][img][ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط]

[i][b]سأل رجل الحسن البصري رضي الله عنه:"ما سر زهدك في الدنيا يا إمام؟". فأجاب:"أربعة اشياء: علمت ان رزقي لا يأخذه غيري فاطمأن قلبي. و علمت ان عملي لا يقوم به غيري فاشتغلت به وحدي. و علمت ان الله مطلع علي فاستحييت ان يراني في معصية. و علمت ان الموت حق فأعددت الزاد للقاء ربي".[/b] [/i][/center]
الرجوع الى أعلى الصفحة اذهب الى الأسفل
yacine
مشرف عام
مشرف عام


نـــوعـى* :
مـوطنـى* :
عـمـلـى * :
هـوايتـى* :

مُساهمةموضوع: رد: Development of a programming-language-like temporal logic specification language   الثلاثاء 17 نوفمبر - 16:42

[center][img][ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط]

_________________
يا قارئ خطي لا تبكي على موتي..فاليوم أنا معك وغداً في التراب.. فإن عشت فإني معك وإن مت فاللذكرى..! ويا ماراً على قبري لا تعجب من أمري..بالأمس كنت معك وغداً أنت معي..
أمـــوت و يـبـقـى كـل مـا كـتـبـتـــه ذكــرى فيـا ليت كـل من قـرأ خطـي الدعاء لي
الرجوع الى أعلى الصفحة اذهب الى الأسفل
 
Development of a programming-language-like temporal logic specification language
استعرض الموضوع السابق استعرض الموضوع التالي الرجوع الى أعلى الصفحة 
صفحة 1 من اصل 1
 مواضيع مماثلة
-
» علم الحاسوب

صلاحيات هذا المنتدى:لاتستطيع الرد على المواضيع في هذا المنتدى
.::. جامعة البشير الابراهيمي برج بوعريريج الجزائــــــــر.::. :: .::. طلبة معهد العلوم و التكنولوجيا .::. :: منتديات المهندسين :: منتدى هندسة الإعلام الآلي Informatique-
انتقل الى: