
Conte aos seus amigos sobre este item:
Nominal Sets: Names and Symmetry in Computer Science - Cambridge Tracts in Theoretical Computer Science
Pitts, Andrew M. (University of Cambridge)
Nominal Sets: Names and Symmetry in Computer Science - Cambridge Tracts in Theoretical Computer Science
Pitts, Andrew M. (University of Cambridge)
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.
287 pages, 20 b/w illus. 80 exercises
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 30 de maio de 2013 |
ISBN13 | 9781107017788 |
Editoras | Cambridge University Press |
Páginas | 287 |
Dimensões | 154 × 235 × 22 mm · 558 g |
Idioma | English |
Ver tudo de Pitts, Andrew M. (University of Cambridge) ( por exemplo Hardcover Book )