Zur Startseite gehen
0,00 €*
Cover: 9780262552677 | Advanced Topics in Types and Programming Languages | Pierce | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Advanced Topics in Types and Programming Languages
Taschenbuch von Benjamin C. Pierce
Sprache: Englisch

86,75 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference. Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems--the material covered in the first half of the earlier book. Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.
A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference. Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems--the material covered in the first half of the earlier book. Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.
Über den Autor
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
Details
Erscheinungsjahr: 2024
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780262552677
ISBN-10: 0262552671
Sprache: Englisch
Einband: Kartoniert / Broschiert
Redaktion: Pierce, Benjamin C.
Hersteller: MIT Press
Verantwortliche Person für die EU: Produktsicherheitsverantwortliche/r, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 203 x 31 mm
Von/Mit: Benjamin C. Pierce
Erscheinungsdatum: 02.07.2024
Gewicht: 1,125 kg
Artikel-ID: 130808346
Über den Autor
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
Details
Erscheinungsjahr: 2024
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780262552677
ISBN-10: 0262552671
Sprache: Englisch
Einband: Kartoniert / Broschiert
Redaktion: Pierce, Benjamin C.
Hersteller: MIT Press
Verantwortliche Person für die EU: Produktsicherheitsverantwortliche/r, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 203 x 31 mm
Von/Mit: Benjamin C. Pierce
Erscheinungsdatum: 02.07.2024
Gewicht: 1,125 kg
Artikel-ID: 130808346
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780387790534 | Introductory Statistics with R | Peter Dalgaard | Taschenbuch | XVI
Introductory Statistics with R
EAN: 9780387790534
Sprache: Englisch
Von/Mit: Peter Dalgaard

54,30 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783848258239 | Ein strukturierter Einstieg in die Oracle SQL und PL/SQL-Entwicklung
Ein strukturierter Einstieg in die Oracle SQL und PL/SQL-Entwicklung
EAN: 9783848258239
Sprache: Deutsch
Von/Mit: Marek Adar

29,90 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781593272074 | The Art of Assembly Language, 2nd Edition | Randall Hyde | Taschenbuch
The Art of Assembly Language, 2nd Edition
EAN: 9781593272074
Sprache: Englisch
Von/Mit: Randall Hyde

66,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781492033912 | Managing Kubernetes | Operating Kubernetes Clusters in the Real World
Managing Kubernetes
Operating Kubernetes Clusters in the Real World
EAN: 9781492033912
Sprache: Englisch
Von/Mit: Brendan Burns (u. a.)

47,00 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781484250099 | Game Development with GameMaker Studio 2 | Sebastiano M. Cossu | Buch
Game Development with GameMaker Studio 2
Make Your Own Games with GameMaker Language
EAN: 9781484250099
Sprache: Englisch
Von/Mit: Sebastiano M. Cossu

67,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781838823412 | Deep Learning with TensorFlow 2 and Keras - Second Edition | Buch
Deep Learning with TensorFlow 2 and Keras - Second Edition
Regression, ConvNets, GANs, RNNs, NLP, and more with TensorFlow 2 and the Keras API
EAN: 9781838823412
Sprache: Englisch
Von/Mit: Antonio Gulli (u. a.)

56,90 €*

Lieferzeit 1-2 Wochen

Bundle
Cover: 9783141168815 | Praxis Informatik 5 / 6. Schulbuch. Für Mittelschulen in Bayern | 2021
Praxis Informatik 5 / 6. Schulbuch. Für Mittelschulen in Bayern
Ausgabe 2020
EAN: 9783141168815
Sprache: Deutsch
Von/Mit: Antje Czerney
Maße: 297 x 218 x 10 mm
Genre: Schule und Lernen

21,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783411742257 | Wenn die Dinge mit uns reden | Christoph Drösser | Taschenbuch | 2020
Wenn die Dinge mit uns reden
Von Sprachassistenten, dichtenden Computern und Social Bots
EAN: 9783411742257
Sprache: Deutsch
Von/Mit: Christoph Drösser

16,00 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781801077651 | Mastering Transformers | Sava¿ Y¿ld¿r¿m | Taschenbuch | Paperback
Mastering Transformers
Build state-of-the-art models from scratch with advanced natural language processing techniques
EAN: 9781801077651
Sprache: Englisch
Von/Mit: Sava¿ Y¿ld¿r¿m (u. a.)

68,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9789365891348 | Think in Recursion in Algorithmic Programming | Fang Jin | Taschenbuch
Think in Recursion in Algorithmic Programming
Write recursive computer algorithms to solve complex problems (English Edition)
EAN: 9789365891348
Sprache: Englisch
Von/Mit: Fang Jin

49,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781804618165 | Apache Spark for Machine Learning | Deepak Gowda | Taschenbuch | 2024
Apache Spark for Machine Learning
Build and deploy high-performance big data AI solutions for large-scale clusters
EAN: 9781804618165
Sprache: Englisch
Von/Mit: Deepak Gowda

77,40 €*

Lieferzeit 1-2 Wochen

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