Lambda Calculus with Types (engleski)

· Cambridge University Press · 2013 · čvrsta · 856 stranica

Lambda Calculus with Types (engleski)

2 261,04 €
Proizvod trenutno nije dostupan.
Provjerite dostupne alternative.
Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types... pročitati sve 
  • Moglo bi i Vas zanimati
  • Ostale knjige autora
  • Ostala roba izdavača
  • Zadnji put pogledano
  • Slični autori

Kolekcionarske etikete

Slični autori

Provjerene recenzije su izričito označene kao takve, ostale su neprovjerene.
Nema recenzija. Budite prvi koji će napisati svoju!
Váš avatar
Odaberi
Ime
Vaše recenzije
0

Knjiga gostiju

Potvrđeni postovi su označeni kao takvi, ostali su neprovjereni.

Veleprodajna suradnja

Ukoliko imate zanimljiv asortiman, slobodno nas kontaktirajte. Nudimo zanimljive pretplate, brza plaćanja i suradnju s poštovanjem.

prodaja-na-veliko@megaknjige.hr

Alkohol mogu kupiti samo osobe starije od 18 godina.

Molimo potvrdite da već imate 18 godina.