Zur Startseite gehen
0,00 €*
Cover: 9780521106979 | Theories of Programming Languages | John C. Reynolds | Taschenbuch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Theories of Programming Languages
Taschenbuch von John C. Reynolds (u. a.)
Sprache: Englisch

76,50 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
This text is perfect for advanced undergraduate and beginning graduate courses in programming language theory.
This text is perfect for advanced undergraduate and beginning graduate courses in programming language theory.
Inhaltsverzeichnis
Preface; 1. Predicate Logic; 2. The Simple Imperative Language; 3. Programme Specifications and their Proofs; 4. Arrays; 5. Failure, Input-Output and Continuations; 6. Transition Semantics; 7. Nondeterminism and Guarded Commands; 8. Shared-variable Concurrency; 9. Communicating Sequential Processes; 10. The Lambda Calculus; 11. An Eager Functional Language; 12. Continuations in a Functional Language; 13. Iswim-like Languages; 14. A Normal-order Language; 15. The Simple Type System; 16. Subtypes and Intersection Types; 17. Polymorphism; 18. Module Specification; 19. Algol-like Languages; Appendices; Bibliography; Index.
Details
Erscheinungsjahr: 2008
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521106979
ISBN-10: 0521106974
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Reynolds, John C.
John C., Reynolds
Hersteller: Cambridge University Press
Maße: 244 x 170 x 28 mm
Von/Mit: John C. Reynolds (u. a.)
Erscheinungsdatum: 30.11.2008
Gewicht: 0,881 kg
Artikel-ID: 109396792
Inhaltsverzeichnis
Preface; 1. Predicate Logic; 2. The Simple Imperative Language; 3. Programme Specifications and their Proofs; 4. Arrays; 5. Failure, Input-Output and Continuations; 6. Transition Semantics; 7. Nondeterminism and Guarded Commands; 8. Shared-variable Concurrency; 9. Communicating Sequential Processes; 10. The Lambda Calculus; 11. An Eager Functional Language; 12. Continuations in a Functional Language; 13. Iswim-like Languages; 14. A Normal-order Language; 15. The Simple Type System; 16. Subtypes and Intersection Types; 17. Polymorphism; 18. Module Specification; 19. Algol-like Languages; Appendices; Bibliography; Index.
Details
Erscheinungsjahr: 2008
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521106979
ISBN-10: 0521106974
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Reynolds, John C.
John C., Reynolds
Hersteller: Cambridge University Press
Maße: 244 x 170 x 28 mm
Von/Mit: John C. Reynolds (u. a.)
Erscheinungsdatum: 30.11.2008
Gewicht: 0,881 kg
Artikel-ID: 109396792
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783528052485 | Mehr als nur Programmieren¿ | Eine Einführung in die Informatik | Buch
Mehr als nur Programmieren¿
Eine Einführung in die Informatik
EAN: 9783528052485
Sprache: Deutsch
Von/Mit: Rainer Gmehlich

54,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780521602808 | Epistemic Logic for AI and Computer Science | John-Jules Ch Meyer
Epistemic Logic for AI and Computer Science
EAN: 9780521602808
Von/Mit: John-Jules Ch Meyer

85,35 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783528353551 | Software Engineering | Reiner Dumke | Taschenbuch | Paperback | viii
Software Engineering
Eine Einführung für Informatiker und Ingenieure: Systeme, Erfahrungen, Methoden, Tools
EAN: 9783528353551
Sprache: Deutsch
Von/Mit: Reiner Dumke

44,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781785885181 | Getting Started with React Native | Ethan Holmes (u. a.) | Taschenbuch
Getting Started with React Native
EAN: 9781785885181
Sprache: Englisch
Von/Mit: Ethan Holmes (u. a.)

Varianten ab 40,65 €*
42,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783642077937 | Information and Randomness | An Algorithmic Perspective | Calude | XX
Information and Randomness
An Algorithmic Perspective
EAN: 9783642077937
Sprache: Englisch
Von/Mit: Cristian S. Calude

80,24 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781787125377 | PHP Microservices | Carlos Pérez Sánchez (u. a.) | Taschenbuch | 2017
PHP Microservices
Transit from monolithic architectures to highly available, scalable, and fault-tolerant microservices
EAN: 9781787125377
Sprache: Englisch
Von/Mit: Carlos Pérez Sánchez (u. a.)

56,10 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781784396039 | Learning RSLogix 5000 Programming | Austin Scott | Taschenbuch | 2015
Learning RSLogix 5000 Programming
Building PLC solutions with Rockwell Automation and RSLogix 5000
EAN: 9781784396039
Sprache: Englisch
Von/Mit: Austin Scott

42,55 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783319916460 | Multiple Criteria Decision Aid | Nikolaos Ploskas (u. a.) | Buch
Multiple Criteria Decision Aid
Methods, Examples and Python Implementations
EAN: 9783319916460
Sprache: Englisch
Von/Mit: Nikolaos Ploskas (u. a.)

106,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781800561366 | Practical Remote Pair Programming | Adrian Bolboac¿ | Taschenbuch
Practical Remote Pair Programming
Best practices, tips, and techniques for collaborating productively with distributed development teams
EAN: 9781800561366
Sprache: Englisch
Von/Mit: Adrian Bolboac¿

42,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780137918935 | Project Management Professional (Pmp)(R) Cert Guide | Horine (u. a.)
Project Management Professional (Pmp)(R) Cert Guide
EAN: 9780137918935
Sprache: Englisch
Von/Mit: Gregory Horine (u. a.)

72,80 €*

Lieferzeit 1-2 Wochen

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