المساق
arXiv 2015-07-02 0 مشاهدة

Theory of Programs

Meyer, Bertrand

Programming Languages Software Engineering D.1.4; D.1.5; D.1.3; D.2.1; D.2.4; D.3.1

الأصل · EN

A general theory of programs, programming and programming languages built up from a few concepts of elementary set theory. Derives, as theorems, properties treated as axioms by classic approaches to programming. Covers sequential and concurrent computation.

الترجمة العربية

لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.

تحقّق أمني

اكتب الأحرف الظاهرة أعلاه

حتى 10 ترجمات لكل شخص يومياً.

اقرأ على arXiv