يَوْمَ نَطْوِي السَّمَاءَ كَطَيِّ السِّجِلِّ لِلْكُتُبِ
📚 فهرس عناوين مكتبة نيل و فرات - رجب 1446/جانفي 2025| العنوان | المؤلف | السنة | الناشر | التصنيف الفرعي |
|---|---|---|---|---|
| The B Language and Method : A Guide to Practical Formal Development | Kevin Lano | 1996-05-14 | Springer | زراعة عامة |
| Formal Object-Oriented Development | Kevin Lano | 1995-10-25 | Springer | زراعة عامة |