ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
The deductive foundations of computer programming / Zohar Manna
| Arabic Title : | الأسس الاستنتاجية لبرمجة الحاسوب |
| BNB number : | GB9342122 |
| Date published : | 1993 |
| Has extent : | xiv,717p. |
| ISBN : | 0201548860 |
| ISBN10 : | 0201548860 |
| Author : | Manna, Zohar |
| Title : | The deductive foundations of computer programming |
Studies in automatic programming logic / Zohar Manna
| Arabic Title : | دراسات في منطق البرمجة الآلي |
| BNB number : | GB7826506 |
| Date published : | 1977 |
| Has extent : | viii,192p. |
| ISBN : | 0444002251 0444002243 |
| ISBN10 : | 0444002251 0444002243 |
| Author : | Manna, Zohar |
| Title : | Studies in automatic programming logic |
The logical basis for computer programming / Zohar Manna
| Arabic Title : | الأساس المنطقي لبرمجة الكمبيوتر |
| BNB number : | GB9217432 |
| Date published : | 1985 |
| Has extent : | xii,618 |
| Has note on contents : | Includes bibliographies and indexes. |
| ISBN : | 0201182602 |
| ISBN10 : | 0201182602 |
| Author : | Manna, Zohar |
| Title : | The logical basis for computer programming |
Temporal verification of reactive systems / Zohar Manna
| Arabic Title : | التحقق الزمني للأنظمة التفاعلية: الأمان |
| BNB number : | GB9605251 |
| Date published : | 1995 |
| Has extent : | xviii, 512p. |
| ISBN : | 0387944591 |
| ISBN10 : | 0387944591 |
| Author : | Manna, Zohar |
| Title : | Temporal verification of reactive systems : safety |
Mathematical theory of computation / Zohar Manna
| Arabic Title : | النظرية الرياضية للحساب |
| BNB number : | GB7632392 |
| Date published : | 1976 |
| Has extent : | xi,448p. |
| Has note on contents : | Includes bibliographies and index. |
| ISBN : | 0070399107 |
| ISBN10 : | 0070399107 |
| Author : | Manna, Zohar |
| Title : | Mathematical theory of computation |
The logical basis for computer programming / Zohar Manna
| Arabic Title : | الأساس المنطقي لبرمجة الكمبيوتر |
| BNB number : | GB9203100 |
| Date published : | 1990 |
| Has extent : | xiii,642p. |
| Has note on contents : | Includes bibliographies and indexes. |
| ISBN : | 0201182610 |
| ISBN10 : | 0201182610 |
| Author : | Manna, Zohar |
| Title : | The logical basis for computer programming |
