Dasturlash turlari va turlari - Types and Programming Languages
Dasturlash turlari va turlari, ISBN 0-262-16209-1, a kitob tomonidan Benjamin C. Pirs kuni tipdagi tizimlar 2002 yilda nashr etilgan.
Tomonidan ko'rib chiqilgan Frank Pfenning uni "ehtimol so'nggi yillarda dasturlash tillari sohasidagi eng muhim kitob" deb atadi.[1]
Adabiyotlar
- ^ Pfenning, Frank (2004 yil iyun). "sharh Dasturlash turlari va turlari Benjamin C. Pirs tomonidan ". Ramziy mantiq byulleteni. Ramziy mantiq assotsiatsiyasi. 10 (2): 213–214. doi:10.1017 / s1079898600003954. JSTOR 3176763.
Tashqi havolalar
  | Kompyuter kitobi yoki bir qator kitoblar haqidagi ushbu maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |