Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Types and Programming Languages

Pierce

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 04397456

Nakladatelství MIT Press Ltd, leden 2002

A type system is a syntactic method for automatically checking the absence of certain erroneous beha... Celý popis

Libristo kód: 04397456

224 b

Top

2 240 Kč

Skladem u dodavatele Odesíláme za 3-5 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Crafting Interpreters Robert Nystrom

Brožovaná

956 Kč

Interactive Theorem Proving and Program Development Yves Bertot

Brožovaná

1 958 Kč

Introduction to Algorithms, fourth edition Thomas H. Cormen

Pevná

3 188 Kč

Team Topologies Matthew Skelton

Brožovaná

454 Kč

Introduction to the Design & Analysis of Algorithms Anany Levitin

Brožovaná

1 522 Kč

Database Design and Relational Theory C. J. Date

Brožovaná

879 Kč

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

Brožovaná

2 249 Kč

Introduction to the Theory of Computation Michael Sipser

Pevná

8 770 Kč

Practice of Programming Brian Kernighan

Brožovaná

1 064 Kč

Requirements Engineering Fundamentals Klaus Pohl

Brožovaná

645 Kč

Programming Language Pragmatics Michael L. Scott

Brožovaná

1 873 Kč

Type-driven Development with Idris Edwin Brady

Brožovaná

1 121 Kč

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

Pevná

5 946 Kč

Seven Languages in Seven Weeks Bruce Tate

Brožovaná

753 Kč

Lambda Calculus with Types Henk Barendregt

Pevná

2 529 Kč

C Programming Language Brian W. Kernighan

Brožovaná

1 309 Kč

Hacker's Delight Henry Warren

Pevná

1 287 Kč

Concrete Mathematics Ronald Graham

Pevná

1 789 Kč

Four Pillars of Geometry John Stillwell

Pevná

924 Kč

Distributed Systems Maarten Van Steen

Brožovaná

811 Kč

Computer Systems David R. O'Hallaron

Pevná

5 634 Kč

Programming in Lua, fourth edition Roberto Ierusalimschy

Brožovaná

795 Kč

Specifying Systems Leslie Lamport

Brožovaná

935 Kč

Mathematics for Computer Science Lehman Eric

Pevná

1 268 Kč

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.