منو
رکورد قبلیرکورد بعدی

" Verified functional programming in Agda "


Document Type : BL
Record Number : 729908
Doc. No : b549664
Main Entry : Aaron Stump, the University of Iowa.
Title & Author : Verified functional programming in Agda\ Aaron Stump, the University of Iowa.
Edition Statement : First edition
Publication Statement : [London] Morgan et Claypool Publishers, [2016]
Series Statement : ACM Books, 9.
Page. NO : XXIV, 258 Seiten : Illustrationen
ISBN : 1970001240
: : 1970001275
: : 9781970001242
: : 9781970001273
Subject : Funktionale Programmiersprache.
Added Entry : Aaron Stump
copyhttps://lib.clisel.com/site/catalogue/729908
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟