• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات

عنوان
Foundations of computing : system development with set theory and logic

پدید آورنده
Scheurer, Thierry.

موضوع
System design , Set theory , Logic, Symbolic and mathematical

رده
QA
76
.
9
.
S88
S29
1994

کتابخانه

محل استقرار
استان: طهران ـ شهر: طهران



تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

H1

Scheurer, Thierry.
Foundations of computing : system development with set theory and logic

Wokingham
Addison-Wesley
1994

xxiv, 668 p. : ill

International computer science series

Includes bibliographical references )p. 647-648( and index

System design
Set theory
Logic, Symbolic and mathematical

QA
76
.
9
.
S88
S29
1994

AU
Thierry Scheurer

English

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال