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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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

2 241 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

Interactive Theorem Proving and Program Development Yves Bertot

Brožovaná

1 958 Kč

Introduction to Algorithms, fourth edition Thomas H. Cormen

Pevná

3 364 Kč

Team Topologies Matthew Skelton

Brožovaná

553 Kč

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

Brožovaná

2 249 Kč

Introduction to the Theory of Computation Michael Sipser

Pevná

8 769 Kč

Requirements Engineering Fundamentals Klaus Pohl

Brožovaná

645 Kč

Database Design and Relational Theory C. J. Date

Brožovaná

879 Kč

Introduction to the Design & Analysis of Algorithms Anany Levitin

Brožovaná

1 522 Kč

Practice of Programming Brian Kernighan

Brožovaná

1 064 Kč

Programming Language Pragmatics Michael L. Scott

Brožovaná

1 873 Kč

Type-driven Development with Idris Edwin Brady

Brožovaná

1 121 Kč

Seven Languages in Seven Weeks Bruce Tate

Brožovaná

753 Kč

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

Pevná

5 946 Kč

C Programming Language Brian W. Kernighan

Brožovaná

1 309 Kč

Lambda Calculus with Types Henk Barendregt

Pevná

2 406 Kč

Inner Work Robert A. Johnson

Brožovaná

288 Kč

Seven More Languages in Seven Weeks Bruce Tate

Brožovaná

812 Kč

Concrete Mathematics Ronald Graham

Pevná

1 789 Kč

Programming in Lua, fourth edition Roberto Ierusalimschy

Brožovaná

795 Kč

Mathematics for Computer Science Lehman Eric

Pevná

1 268 Kč

Operating System Concepts Greg Gagne

List

2 436 Kč

Computer Systems David R. O'Hallaron

Pevná

5 895 Kč

Four Pillars of Geometry John Stillwell

Pevná

924 Kč

Hacker's Delight Henry Warren

Pevná

1 284 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.