Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD gyűjtőpont 1 170 Ft DPD futárszolgálat 1 370 Ft GLS pont 1 370 Ft Magyar Posta 1 975 Ft PostaPont / Csomagautomata 1 870 Ft Magyar Posta 1 870 Ft FoxPost 1 370 Ft Packeta 1 370 Ft GLS futár 1 870 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Types and Programming Languages

Pierce

Nyelv

Angol

Könyv Kemény kötésű

Libristo kód: 04397456

Kiadó MIT Press Ltd, január 2002

A type system is a syntactic method for automatically checking the absence of certain erroneous beha... Teljes leírás

Libristo kód: 04397456

253 b

37 760 Ft

Beszállítói készleten Küldés 3-5 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Crafting Interpreters Robert Nystrom

Puha kötésű

18 462 Ft

Interactive Theorem Proving and Program Development Yves Bertot

Puha kötésű

32 689 Ft

Introduction to Algorithms, fourth edition Thomas H. Cormen

Kemény kötésű

54 395 Ft

Team Topologies Matthew Skelton

Puha kötésű

7 666 Ft

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

Puha kötésű

37 547 Ft

Introduction to the Design & Analysis of Algorithms Anany Levitin

Puha kötésű

25 558 Ft

Introduction to the Theory of Computation Michael Sipser

Kemény kötésű

144 826 Ft

Database Design and Relational Theory C. J. Date

Puha kötésű

16 951 Ft

Practice of Programming Brian Kernighan

Puha kötésű

18 625 Ft

Requirements Engineering Fundamentals Klaus Pohl

Puha kötésű

12 435 Ft

Programming Language Pragmatics Michael L. Scott

Puha kötésű

30 882 Ft

Seven Languages in Seven Weeks Bruce Tate

Puha kötésű

11 915 Ft

Type-driven Development with Idris Edwin Brady

Puha kötésű

20 373 Ft

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

Kemény kötésű

99 910 Ft

C Programming Language Brian W. Kernighan

Puha kötésű

22 003 Ft

Lambda Calculus with Types Henk Barendregt

Kemény kötésű

43 738 Ft

Distributed Systems Maarten Van Steen

Puha kötésű

15 005 Ft

Hacker's Delight Henry Warren

Kemény kötésű

22 225 Ft

Four Pillars of Geometry John Stillwell

Kemény kötésű

15 426 Ft

Seven More Languages in Seven Weeks Bruce Tate

Puha kötésű

12 915 Ft

Inner Work Robert A. Johnson

Puha kötésű

6 146 Ft

Concrete Mathematics Ronald Graham

Kemény kötésű

33 080 Ft

Specifying Systems Leslie Lamport

Puha kötésű

16 233 Ft

Computer Systems David R. O'Hallaron

Kemény kötésű

100 970 Ft

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.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Types and Programming Languages

Szerző Pierce

Nyelv

Angol

Kötés Könyv - Kemény kötésű

Kiadás éve 2002

Oldalszám 648

EAN 9780262162098

ISBN 0262162091

Libristo kód 04397456

Kiadó MIT Press Ltd

Súly 1340

Méretek 214 x 236 x 34

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű

Számítástechnika és információtechnológia > Számítógéptudomány

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére