Zur Startseite gehen
0,00 €*
Cover: 9781107017788 | Nominal Sets | Andrew. M Pitts | Buch | HC gerader Rücken kaschiert
Dekorationsartikel gehören nicht zum Leistungsumfang.
Nominal Sets
Buch von Andrew. M Pitts
Sprache: Englisch

67,90 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
The first detailed account of the basic theory and applications of nominal sets.
The first detailed account of the basic theory and applications of nominal sets.
Über den Autor
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
Inhaltsverzeichnis
Preface; Introduction; Part I. Theory: 1. Permutation; 2. Support; 3. Freshness; 4. Name abstraction; 5. Orbit finiteness; 6. Equivalents of Nom; Part II. Applications: 7. Inductive and conductive definitions; 8. Nominal algebraic data types; 9. Locally scoped names; 10. Functional programming; 11. Domain theory; 12. Computational logic; References; Notation index; Index.
Details
Erscheinungsjahr: 2013
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9781107017788
ISBN-10: 1107017785
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Pitts, Andrew. M
Hersteller: Cambridge University Press
Maße: 235 x 157 x 20 mm
Von/Mit: Andrew. M Pitts
Erscheinungsdatum: 30.05.2013
Gewicht: 0,579 kg
Artikel-ID: 105975817
Über den Autor
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
Inhaltsverzeichnis
Preface; Introduction; Part I. Theory: 1. Permutation; 2. Support; 3. Freshness; 4. Name abstraction; 5. Orbit finiteness; 6. Equivalents of Nom; Part II. Applications: 7. Inductive and conductive definitions; 8. Nominal algebraic data types; 9. Locally scoped names; 10. Functional programming; 11. Domain theory; 12. Computational logic; References; Notation index; Index.
Details
Erscheinungsjahr: 2013
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9781107017788
ISBN-10: 1107017785
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Pitts, Andrew. M
Hersteller: Cambridge University Press
Maße: 235 x 157 x 20 mm
Von/Mit: Andrew. M Pitts
Erscheinungsdatum: 30.05.2013
Gewicht: 0,579 kg
Artikel-ID: 105975817
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783486580143 | Knowledge Media Design | Theorie, Methodik, Praxis | Eibl (u. a.)
Knowledge Media Design
Theorie, Methodik, Praxis
EAN: 9783486580143
Sprache: Deutsch
Von/Mit: Maximilian Eibl (u. a.)

74,95 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783642391484 | Theories and Simulations of Complex Social Systems | Mago (u. a.) | x
Theories and Simulations of Complex Social Systems
EAN: 9783642391484
Sprache: Englisch
Von/Mit: Vijay Kumar Mago (u. a.)

106,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783642794759 | Programmieren in Smalltalk mit VisualWorks® | Bücker (u. a.) | Buch
Programmieren in Smalltalk mit VisualWorks®
Smalltalk ¿ nicht nur für Anfänger
EAN: 9783642794759
Sprache: Deutsch
Von/Mit: Matthias C. Bücker (u. a.)

54,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781940771199 | Turn Back Before Baghdad | Laurence Jolidon | Taschenbuch | Paperback
Turn Back Before Baghdad
Original Frontline Dispatches of the Gulf War by American and British Correspondents
EAN: 9781940771199
Sprache: Englisch
Von/Mit: Laurence Jolidon

35,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783030496425 | Architecting the Digital Transformation | Alfred Zimmermann (u. a.)
Architecting the Digital Transformation
Digital Business, Technology, Decision Support, Management
EAN: 9783030496425
Sprache: Englisch
Von/Mit: Alfred Zimmermann (u. a.)

181,89 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781032168982 | Let's Agree to Disagree | Nolan Higdon (u. a.) | Taschenbuch | 2022
Let's Agree to Disagree
A Critical Thinking Guide to Communication, Conflict Management, and Critical Media Literacy
EAN: 9781032168982
Sprache: Englisch
Von/Mit: Nolan Higdon (u. a.)

55,95 €*

Lieferzeit 1-2 Wochen

Bundle
Cover: 9781473930339 | Harcup, T: Journalism | Principles and Practice | Tony Harcup | Bundle
Journalism
Principles and Practice
EAN: 9781473930339
Sprache: Englisch
Von/Mit: Tony Harcup

56,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783658394530 | Compliance als Treiber von Reputation | Ellen Dietzsch-Lohbeck | Buch
Compliance als Treiber von Reputation
Eine empirische Analyse der Wirkung von Compliance-Kommunikation auf die Unternehmensreputation in Medien
EAN: 9783658394530
Sprache: Deutsch
Von/Mit: Ellen Dietzsch-Lohbeck

84,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781447249061 | Killing My Own Snakes | A Memoir | Ann Leslie | Taschenbuch | Englisch
Killing My Own Snakes
A Memoir
EAN: 9781447249061
Sprache: Englisch
Von/Mit: Ann Leslie

26,60 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...