عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
1970001240
شابک
1970001275
شابک
9781970001242
شابک
9781970001273
شماره کتابشناسی ملی
شماره
b549664
عنوان و نام پديدآور
عنوان اصلي
Verified functional programming in Agda
نام عام مواد
[Book]
نام نخستين پديدآور
Aaron Stump, the University of Iowa.
وضعیت ویراست
وضعيت ويراست
First edition
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
[London] Morgan et Claypool Publishers
تاریخ نشرو بخش و غیره
[2016]
مشخصات ظاهری
نام خاص و کميت اثر
XXIV, 258 Seiten : Illustrationen
فروست
عنوان فروست
ACM Books, 9.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Funktionale Programmiersprache.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Aaron Stump, the University of Iowa.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Aaron Stump
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
