Zur Startseite gehen
0,00 €*
Cover: 9780521314237 | A Practical Introduction to Denotational Semantics | Allison (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
A Practical Introduction to Denotational Semantics
Taschenbuch von Lloyd Allison (u. a.)
Sprache: Englisch

56,70 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.
Inhaltsverzeichnis
Preface; Acknowledgements; Glossary; 1. Introduction; 2. Basics; 3. Notation; 4. Lattices; 5. A simple language; 6. Direct semantics; 7. Control; 8. Data structures and data types; 9. A prolog semantics; 10. Miscellaneous; Appendix; References; Index of definitions; Subject index.
Details
Erscheinungsjahr: 2002
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521314237
ISBN-10: 0521314232
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Allison, Lloyd
Allison, L.
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 152 x 8 mm
Von/Mit: Lloyd Allison (u. a.)
Erscheinungsdatum: 13.01.2002
Gewicht: 0,226 kg
Artikel-ID: 103086366
Inhaltsverzeichnis
Preface; Acknowledgements; Glossary; 1. Introduction; 2. Basics; 3. Notation; 4. Lattices; 5. A simple language; 6. Direct semantics; 7. Control; 8. Data structures and data types; 9. A prolog semantics; 10. Miscellaneous; Appendix; References; Index of definitions; Subject index.
Details
Erscheinungsjahr: 2002
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521314237
ISBN-10: 0521314232
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Allison, Lloyd
Allison, L.
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 152 x 8 mm
Von/Mit: Lloyd Allison (u. a.)
Erscheinungsdatum: 13.01.2002
Gewicht: 0,226 kg
Artikel-ID: 103086366
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9780471958697 | Pattern-Oriented Software Arch | Buschmann (u. a.) | Buch | XVIII
Pattern-Oriented Software Architecture, a System of Patterns
EAN: 9780471958697
Sprache: Englisch
Von/Mit: Frank Buschmann (u. a.)

49,35 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783960090687 | Product Leadership | Richard Banfield (u. a.) | Taschenbuch | XXVIII
Product Leadership
Wie Top-Produktmanager herausragende IT-Produkte entwickeln und erfolgreiche Teams formen
EAN: 9783960090687
Sprache: Deutsch
Von/Mit: Richard Banfield (u. a.)

32,90 €*

Lieferzeit 1-2 Werktage

Bundle
Cover: 9783658201449 | Sicherheit von Webanwendungen in der Praxis | Matthias Rohr | Buch
Sicherheit von Webanwendungen in der Praxis
Wie sich Unternehmen schützen können - Hintergründe, Maßnahmen, Prüfverfahren und Prozesse
EAN: 9783658201449
Sprache: Deutsch
Von/Mit: Matthias Rohr

99,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781788999892 | Mastering Geospatial Development with QGIS 3.x - Third Edition | Buch
Mastering Geospatial Development with QGIS 3.x - Third Edition
EAN: 9781788999892
Sprache: Englisch
Von/Mit: Shammunul Islam (u. a.)

55,60 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781789536058 | Docker for Developers | Mike Schwartz (u. a.) | Taschenbuch | Englisch
Docker for Developers
Develop and run your application with Docker containers using DevOps tools for continuous delivery
EAN: 9781789536058
Sprache: Englisch
Von/Mit: Mike Schwartz (u. a.)

57,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781492077893 | Programming Scala | Scalability = Functional Programming + Objects
Programming Scala
Scalability = Functional Programming + Objects
EAN: 9781492077893
Sprache: Englisch
Von/Mit: Wampler

73,85 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780367470821 | Introduction to Digital Music with Python Programming | Horn (u. a.)
Introduction to Digital Music with Python Programming
Learning Music with Code
EAN: 9780367470821
Sprache: Englisch
Von/Mit: Michael S. Horn (u. a.)

44,55 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781098108137 | Full Stack Testing | Gayathri Mohan | Taschenbuch | Englisch | 2022
Full Stack Testing
A Practical Guide for Delivering High Quality Software
EAN: 9781098108137
Sprache: Englisch
Von/Mit: Gayathri Mohan

52,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9780596004361 | C Pocket Reference | C Syntax and Fundamentals | Peter Prinz (u. a.)
C Pocket Reference
C Syntax and Fundamentals
EAN: 9780596004361
Sprache: Englisch
Von/Mit: Peter Prinz (u. a.)

26,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783747504161 | Clean Craftsmanship | Robert C. Martin | Taschenbuch | 360 S. | 2022
Clean Craftsmanship
Best Practices, Standards und Ethik für die Softwareentwicklung
EAN: 9783747504161
Sprache: Deutsch
Von/Mit: Robert C. Martin

19,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781804614204 | Learn React with TypeScript - Second Edition | Carl Rippon | Buch
Learn React with TypeScript - Second Edition
A beginner's guide to reactive web development with React 18 and TypeScript
EAN: 9781804614204
Sprache: Englisch
Von/Mit: Carl Rippon

60,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783960092209 | Projekt Eureka bei Investments Unlimited | Helen Beal (u. a.) | Buch
Projekt Eureka bei Investments Unlimited
Der Roman über DevOps, Sicherheit, Audit, Compliance und Erfolg im digitalen Zeitalter
EAN: 9783960092209
Sprache: Deutsch
Von/Mit: Helen Beal (u. a.)

24,90 €*

Lieferzeit 1-2 Werktage

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