Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Types and Programming Languages

Pierce

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 04397456

Nakladateľstvo MIT Press Ltd, január 2002

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

Libristo kód: 04397456

253 b

Top

104.15 €

Skladom u dodávateľa Odosielame za 3-5 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Crafting Interpreters Robert Nystrom

Brožovaná

42.28 €

Interactive Theorem Proving and Program Development Yves Bertot

Brožovaná

85.48 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Pevná

146.54 €

Team Topologies Matthew Skelton

Brožovaná

20.28 €

Introduction to the Design & Analysis of Algorithms Anany Levitin

Brožovaná

66.60 €

Database Design and Relational Theory C. J. Date

Brožovaná

38.75 €

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

Brožovaná

93.45 €

Introduction to the Theory of Computation Michael Sipser

Pevná

344.56 €

Practice of Programming Brian Kernighan

Brožovaná

43.89 €

Requirements Engineering Fundamentals Klaus Pohl

Brožovaná

28.45 €

Programming Language Pragmatics Michael L. Scott

Brožovaná

77.20 €

Type-driven Development with Idris Edwin Brady

Brožovaná

48.54 €

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

Pevná

263.21 €

Seven Languages in Seven Weeks Bruce Tate

Brožovaná

33.09 €

Lambda Calculus with Types Henk Barendregt

Pevná

104.25 €

C Programming Language Brian W. Kernighan

Brožovaná

58.23 €

Hacker's Delight Henry Warren

Pevná

52.37 €

Concrete Mathematics Ronald Graham

Pevná

78.01 €

Four Pillars of Geometry John Stillwell

Pevná

40.36 €

Distributed Systems Maarten Van Steen

Brožovaná

35.31 €

Computer Systems David R. O'Hallaron

Pevná

243.12 €

Programming in Lua, fourth edition Roberto Ierusalimschy

Brožovaná

34.91 €

Specifying Systems Leslie Lamport

Brožovaná

39.96 €

Mathematics for Computer Science Lehman Eric

Pevná

56.00 €

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.