1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Nominal Sets: Names and Symmetry in Computer Science

Nominal Sets: Names and Symmetry in Computer Science

(Bog, Hardback, Engelsk)
Forfatter: Andrew M. (University of Cambridge) Pitts
Nominal Sets: Names and Symmetry in Computer Science
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

Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages based on symmetries of names. Covering theory and applications, the book will be welcomed by researchers and graduate students in theoretical computer science.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Andrew M. (University of Cambridge) Pitts
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 30-05-2013
Første udgivelsesår 2013
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer Worked examples or Exercises; 20 Line drawings, unspecified
Originalsprog United Kingdom
Sideantal 287
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 287 pages, Worked examples or Exercises; 20 Line drawings, unspecified
Mål 235 x 154 x 22
ISBN-13 / EAN-13 9781107017788