عنوان
پدید آورنده
موضوع
رده
QA76.62 W654 1990
QA76
.
62
W654
1990
کتابخانه
محل استقرار
شابک
شابک
038753430X
شابک
354053430X
شابک
9780387534305
شابک
9783540534303
شماره کتابشناسی ملی
شماره
b552945
عنوان و نام پديدآور
عنوان اصلي
Automatische Komplexitätsanalyse funktionaler Programme
نام عام مواد
[Book]
نام نخستين پديدآور
Wolf Zimmermann.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1990.
مشخصات ظاهری
نام خاص و کميت اثر
194 pages ; 25 cm.
فروست
عنوان فروست
Informatik-Fachberichte, 261.
يادداشت کلی
متن يادداشت
Originally presented as the author's thesis (doctoral)--Universität Karlsruhe.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Functional programming (Computer science)
موضوع مستند نشده
System analysis.
موضوع مستند نشده
Zeitkomplexität.
رده بندی کنگره
شماره رده
QA76
.
62
نشانه اثر
W654
1990
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Wolf Zimmermann.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Wolf Zimmermann
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
