Bezmaksas piegāde pasūtījumiem virs 29€

  • check 10+ miljoni grāmatu
  • check Jaunumi katru dienu
  • check Vairāk nekā 1 miljons klientu mums uzticas
  • check Labas cenas un atlaides
  • check Piegāde visā Eiropā

Nominal Sets - Andrew. M Pitts

angļu valoda
2013-05-30
106,11 € 151,58 €

-30% ar kodu BOOKS

Piegādātāja noliktavā

Piegāde 17-23 darba dienu laikā

30 dienu atgriešanas politika

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language sem ... Pilns apraksts

Jums varētu patikt arī

Aprašymas

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.

Vairāk informācijas

Autors Andrew. M Pitts
Izdevējs Cambridge University Press
Izlaides gads 2013
Vāka tips Cietais vāks
EAN 9781107017788
Rakstiet savu atsauksmi
Jūs vērtējat: Nominal Sets
Jūsu novērtējums:

Goodreads atsauksmes

106,11 € 151,58 €