Programming with Higher-Order Logic - Dale Miller - Böcker - Cambridge University Press - 9780521879408 - 11 juni 2012
Om omslag och titel inte matchar är det titeln som gäller

Dale Miller
Programming with Higher-Order Logic

Pris
SEK 819

Beställningsvara

Förväntad leverans 18 - 28 sep
Få avisering om nya utgåvor med Dale Miller

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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.

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 11 juni 2012
ISBN13 9780521879408
Utgivare Cambridge University Press
Antal sidor 320
Mått 160 × 237 × 23 mm   ·   616 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med Dale Miller