Wyszukiwanie zaawansowane
Kategorie
Kategorie BISAC
Książki na zamówienie
Promocje
Granty
Książka na prezent
Opinie
Pomoc
Załóż konto
Zaloguj się
Henk Barendregt - książki
zaloguj się
|
załóż konto
koszyk
konto
szukaj
topmenu
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
Wyszukiwanie zaawansowane
Pusty koszyk
Kategorie główne
•
Nauka
[2692366]
•
Literatura piękna
[1640460]
więcej...
•
Turystyka
[61874]
•
Informatyka
[141681]
•
Komiksy
[32001]
•
Encyklopedie
[21632]
•
Dziecięca
[512964]
•
Hobby
[106747]
•
AudioBooki
[1972]
•
Literatura faktu
[199610]
•
Muzyka CD
[449]
•
Słowniki
[2692]
•
Inne
[407049]
•
Kalendarze
[1350]
•
Podręczniki
[161483]
•
Poradniki
[408221]
•
Religia
[455343]
•
Czasopisma
[420]
•
Sport
[59293]
•
Sztuka
[223844]
•
CD, DVD, Video
[3716]
•
Technologie
[206139]
•
Zdrowie
[88029]
•
Książkowe Klimaty
[118]
•
Zabawki
[2574]
•
Puzzle, gry
[3157]
•
Literatura w języku ukraińskim
[262]
•
Art. papiernicze i szkolne
[9771]
Kategorie szczegółowe BISAC
Lambda Calculus with Types
Henk Barendregt
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
cena:
388,80
zł
Czytaj nas na: