نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
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
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد