Verwandte Artikel zu Nominal Sets: Names and Symmetry in Computer Science...
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, 57, Band 57) - Hardcover
Buch 33 von 40: Cambridge Tracts in Theoretical Computer Science
Inhaltsangabe
The first detailed account of the basic theory and applications of nominal sets.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Nominal Sets: Names and Symmetry in Computer Science...
Beispielbild für diese ISBN
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Artikel-Nr. ria9781107017788_new
Neu kaufen
EUR 89,53
EUR 13,46 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Nominal Sets: Names and Symmetry in Computer Science: 57 (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. The first detailed account of the basic theory and applications of nominal sets. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 287 pages, 20 b/w illus. 80 exercises. BIC Classification: UYA. Category: (U) Tertiary Education (US: College). Dimension: 235 x 154 x 22. Weight in Grams: 558. . 2013. New. hardcover. . . . . Books ship from the US and Ireland. Artikel-Nr. V9781107017788
Neu kaufen
EUR 110,93
EUR 9,36 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Nominal Sets: Names and Symmetry in Computer Science
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 295 pages. 9.06x5.91x0.87 inches. In Stock. Artikel-Nr. x-1107017785
Neu kaufen
EUR 108,92
EUR 14,91 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Nominal Sets
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9781107017788
Neu kaufen
EUR 112,56
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar