1. Forside
  2. Bøger
  3. Engelske bøger
  4. Programmeringssprog og scriptsprog
  5. Informatik
  6. Programming with Higher-Order Logic

Programming with Higher-Order Logic

(Bog, Hardback, Engelsk)
Forfattere: Dale Miller, Gopalan (University of Minnesota) Nadathur
Programming with Higher-Order Logic
Forlag: Cambridge University Press

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Informatik Programmeringssprog og scriptsprog
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere Dale Miller, Gopalan (University of Minnesota) Nadathur
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 11-06-2012
Første udgivelsesår 2012
Illustrationer 81 Line drawings, unspecified
Originalsprog United Kingdom
Sideantal 320
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 320 pages, 81 Line drawings, unspecified
Mål 237 x 160 x 23
ISBN-13 / EAN-13 9780521879408