ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
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 |
Contributor : | Waldinger Richard |
Subject : | Computer programming 519.7 Logic Symbolic and mathematical |
Creator : | Manna, Zohar |
Has carrier type : | volume |
Has content type : | text |
Has media type : | unmediated |
Identifier : | http://bnb.data.bl.uk/id/resource/GB9342122 |
Language : | http://lexvo.org/id/iso639-3/eng |
Publication : | Addison-Wesley, c1993 |
Url : | 007355463 |