Kategorie
Audiobooki
Czasopisma
Ebooki
Fantastyka
Komiksy
Książki dla dzieci i młodzieży
Książki do nauki języka obcego
Książki obcojęzyczne
Kultura i sztuka
Literatura faktu, reportaż
Literatura piękna
Naukowe, popularnonaukowe
Podręczniki
Podróże, mapy, przewodniki
Poradniki i albumy
Pozostałe
Thrillery, sensacyjne, kryminały
Inne
Filmy
Gadżety i akcesoria
Gry i zabawki
Kalendarze
Muzyka
Zestawy i pakiety
E-prasa
Gazeta Wyborcza PDF 2026-04-15
Cena: 2.00zł
Prenumerata: 1.13zł
RICHARD STATMAN; HENK BARENDREGT; WIL DEKKERS
Lambda Calculus with Types
Autor: Richard Statman; Henk Barendregt; Wil Dekkers
Wydawnictwo: Cambridge University PressISBN: 9780521766142
Kategoria: Naukowe, popularnonaukowe
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984)....
Cena
309.75zł
Tania Książka
Nasza księgarnia internetowa to książki, podręczniki największych księgarń oraz wydawnictw zebrane w jednym miejscu.
To my przekierujemy Cię do ksiegarni, która oferuje aktualnie najtańsze książki w internecie.
mKsiegarnia.pl - Przekierowujemy do najtańszych księgarń w Polsce!
Copyright © mKsiegarnia.pl - Porównywarka Cen Książek
Copyright © mKsiegarnia.pl - Porównywarka Cen Książek