محرك البحث لمكتبات مؤسسات التعليم والبحث العلمي في اليمن

محرك بحث يمني يهدف الى تجميع فهارس كافة مكتبات مؤسسات التعليم والبحث العلمي في اليمن

The Deductive foundations of computer programming

رقم التصنيف:  
519.7
العنوان:  
The Deductive foundations of computer programming
المؤلف:  
Richard Waldinger // Zohar Manna
الناشر:  
addison wesley
تاريخ النشر:  
1993
الترقيم الدولي:  
0-201-45886-0
الموضوعات:  
electronic digital computer - programming // logic // symbolic and mathematical
نوع الوعاء:  
كتاب
اللغة:  
انجليزي
متاح في:  
مكتبة العلوم والهندسة - جامعة العلوم والتكنولوجيا