Nominal Sets Names and Symmetry in Computer Science 57 Cambridge Tracts in Theoretical Computer Science Series Number 57

749,00 DKK
+ 72,99 DKK Levering
  • product image
Nominelle sæt navne og symmetri i datalogi 57 Cambridge Tracts i teoretisk Datalogi Series Nummer 57

Nominal Sets Names and Symmetry in Computer Science 57 Cambridge Tracts in Theoretical Computer Science Series Number 57

  • Brand: Unbranded
Sоlgt af:

Nominal Sets Names and Symmetry in Computer Science 57 Cambridge Tracts in Theoretical Computer Science Series Number 57

  • Brand: Unbranded
Pris: 749,00 DKK
Sоlgt af:
749,00 DKK
+ 72,99 DKK Levering

På lager

Vi accepterer følgende betalingsmetoder

Beskrivelse

Nominelle mængder giver en lovende ny matematisk analyse af navne på formelle sprog baseret på symmetri med mange anvendelser til syntaks og semantik af programmeringssprogkonstruktioner, der involverer binding eller lokalisering af navne. Del I giver en introduktion til den grundlæggende teori om nominelle sæt. I del II undersøger forfatteren nogle af de applikationer, der har udviklet sig i programmeringssprogsemantik (både operationel og denoteional), funktionel programmering og logisk programmering. Som den første bog, der giver en detaljeret redegørelse for teorien om nominelle sæt, vil den blive hilst velkommen af forskere og kandidatstuderende i teoretisk datalogi. Sprog: Engelsk
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Hardback
  • Forlag / Pladeselskab: Cambridge University Press
  • Udgivelsesdato: 2013/05/30
  • Kunstner: Pitts Andrew M.
  • Antal sider: 287
  • Sprog: engelsk
  • Fruugo ID: 338044204-741706199
  • ISBN: 9781107017788

Levering og returnering

Sendt inden for 4 dage

  • STANDARD: 72,99 DKK - Levering mellem kl man. 27 oktober 2025–tor. 30 oktober 2025

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik