Programming with Higher-Order Logic - Dale Miller - Bøger - Cambridge University Press - 9780521879408 - 11. juni 2012
Ved uoverensstemmelse mellem cover og titel gælder titel

Dale Miller
Programming with Higher-Order Logic

Pris
DKK 651

Bestilles fra fjernlager

Forventes klar til forsendelse 28. okt. - 3. nov.
Modtag notifikation om nye Dale Miller udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.

320 pages, 81 b/w illus.

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 11. juni 2012
ISBN13 9780521879408
Forlag Cambridge University Press
Antal sider 320
Mål 160 × 237 × 23 mm   ·   616 g
Sprog Engelsk  

Mere med samme udgiver

Se alt med Dale Miller