عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
352805199X
شابک
9783528051990
شماره کتابشناسی ملی
شماره
b538306
عنوان و نام پديدآور
عنوان اصلي
Formale Methoden und kleine Systeme :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Lernen, leben und arbeiten in formalen Umgebungen
نام نخستين پديدآور
Dirk Siefkes.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Braunschweig
نام ناشر، پخش کننده و غيره
Vieweg
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
190 Seiten : Illustrationen.
فروست
عنوان فروست
Theorie der Informatik
یادداشتهای مربوط به مندرجات
متن يادداشت
Kleine Systeme - Ungelogene unlogische Geschichten - Formalisieren und Verstehen - Wie man Anderen Beweise und Programme klarmachen kann - Prototyping als Theoriebildung - Beziehungskiste Mensch-Maschine - Wende zur Phantasie: Die Praxis der Entstehung von Theorie in der Informatik.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formalisierung.
موضوع مستند نشده
Informatik.
موضوع مستند نشده
Kleines System.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Dirk Siefkes.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Dirk Siefkes
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
