Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Types and Programming Languages

Pierce

Sprache

Englisch

Buch Hardcover

Libristo-Code: 04397456

Verlag MIT Press Ltd, Januar 2002

A type system is a syntactic method for automatically checking the absence of certain erroneous beha... Vollständige Beschreibung

Libristo-Code: 04397456

267 b

109.19 € inkl. MwSt.

Externes Lager Wir versenden in 3-5 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Crafting Interpreters Robert Nystrom

Broschur

47.39 €

Interactive Theorem Proving and Program Development Yves Bertot

Broschur

89.39 €

Team Topologies Matthew Skelton

Broschur

23.19 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardcover

152.79 €

Compilers: Principles, Techniques, and Tools A. V. Aho

Broschur

119.69 €

Introduction to the Theory of Computation Michael Sipser

Hardcover

375.19 €

Practice of Programming Brian Kernighan

Broschur

48.09 €

Requirements Engineering Fundamentals Klaus Pohl

Broschur

31.99 €

Introduction to the Design & Analysis of Algorithms Anany Levitin

Broschur

257.39 €

Database Design and Relational Theory C. J. Date

Broschur

43.59 €

Programming Language Pragmatics Michael L. Scott

Broschur

80.09 €

Type-driven Development with Idris Edwin Brady

Broschur

52.79 €

Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth

Hardcover

305.29 €

Seven Languages in Seven Weeks Bruce Tate

Broschur

36.89 €

Lambda Calculus with Types Henk Barendregt

Hardcover

113.29 €

C Programming Language Brian W. Kernighan

Broschur

56.79 €

Programming in Lua, fourth edition Roberto Ierusalimschy

Broschur

38.79 €

Concrete Mathematics Ronald Graham

Hardcover

85.59 €

Computer Systems David R. O'Hallaron

Hardcover

262.19 €

Mathematics for Computer Science Lehman Eric

Hardcover

62.89 €

Inner Work Robert A. Johnson

Broschur

14.29 €

Seven More Languages in Seven Weeks Bruce Tate

Broschur

39.79 €

Operating System Concepts Greg Gagne

Blatt

103.59 €

Four Pillars of Geometry John Stillwell

Hardcover

42.19 €

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Types and Programming Languages

Autor Pierce

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2002

Anzahl der Seiten 648

EAN 9780262162098

ISBN 0262162091

Libristo-Code 04397456

Verlag MIT Press Ltd

Gewicht 1340

Abmessungen 214 x 236 x 34

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert