Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Types and Programming Languages

Limba englezăengleză
Carte Copertă tare
Carte Types and Programming Languages Pierce
Codul Libristo: 04397456
Editura MIT Press Ltd, ianuarie 2002
A type system is a syntactic method for automatically checking the absence of certain erroneous beha... Descrierea completă
? points 253 b
555.32 lei
În depozitul extern Expediem în 3-5 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Top
Crafting Interpreters Robert Nystrom / Carte Carte broșată
common.buy 262.22 lei
Interactive Theorem Proving and Program Development Yves Bertot / Carte Carte broșată
common.buy 455.48 lei
Top
Introduction to Algorithms, fourth edition Thomas H. Cormen / Carte Copertă tare
common.buy 770.90 lei
Curând
Team Topologies Matthew Skelton / Carte Carte broșată
common.buy 112.81 lei
Database Design and Relational Theory C. J. Date / Carte Carte broșată
common.buy 240.91 lei
Top
Compilers: Principles, Techniques, and Tools A. V. Aho / Carte Carte broșată
common.buy 523.15 lei
Introduction to the Theory of Computation Michael Sipser / Carte Copertă tare
common.buy 2 073.83 lei
Introduction to the Design & Analysis of Algorithms Anany Levitin / Carte Carte broșată
common.buy 355.23 lei
Requirements Engineering Fundamentals Klaus Pohl / Carte Carte broșată
common.buy 176.56 lei
Practice of Programming Brian Kernighan / Carte Carte broșată
common.buy 265.94 lei
Programming Language Pragmatics Michael L. Scott / Carte Carte broșată
common.buy 442.11 lei
Type-driven Development with Idris Edwin Brady / Carte Carte broșată
common.buy 291.89 lei
Top
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Carte Copertă tare
common.buy 1 387.98 lei
Seven Languages in Seven Weeks Bruce Tate / Carte Carte broșată
common.buy 164.89 lei
Top
Distributed Systems Maarten Van Steen / Carte Carte broșată
common.buy 214.36 lei
Top
C Programming Language Brian W. Kernighan / Carte Carte broșată
common.buy 305.56 lei
Lambda Calculus with Types Henk Barendregt / Carte Copertă tare
common.buy 626.51 lei
Top
Specifying Systems Leslie Lamport / Carte Carte broșată
common.buy 231.05 lei
Mathematics for Computer Science Lehman Eric / Carte Copertă tare
common.buy 347.49 lei
Top
Programming in Lua, fourth edition Roberto Ierusalimschy / Carte Carte broșată
common.buy 214.36 lei
Invitation to Applied Category Theory Brendan Fong / Carte Carte broșată
common.buy 331.50 lei
Computer Systems David R. O'Hallaron / Carte Copertă tare
common.buy 1 449.51 lei
Four Pillars of Geometry John Stillwell / Carte Copertă tare
common.buy 214.97 lei
Top
Inner Work Robert A. Johnson / Carte Carte broșată
common.buy 87.27 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Types and Programming Languages
Autor Pierce
Limba engleză
Legare Carte - Copertă tare
Data publicării 2002
Număr pagini 648
EAN 9780262162098
ISBN 0262162091
Codul Libristo 04397456
Editura MIT Press Ltd
Greutatea 1340
Dimensiuni 214 x 236 x 34

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Nature of Computation Stephan Mertens / Carte Copertă tare
common.buy 749.79 lei
C Interfaces and Implementations David Hanson / Carte Carte broșată
common.buy 305.96 lei
Top
Structure and Interpretation of Computer Programs H Abelson / Carte Carte broșată
common.buy 442.51 lei
Top
Computer Systems: A Programmer's Perspective, Global Edition Randal E. Bryant / Carte Carte broșată
common.buy 535.72 lei
Top
Concrete Mathematics Ronald Graham / Carte Copertă tare
common.buy 472.88 lei
Seven More Languages in Seven Weeks Bruce Tate / Carte Carte broșată
common.buy 178.97 lei
Top
Hacker's Delight Henry Warren / Carte Copertă tare
common.buy 317.63 lei
Operating System Concepts Greg Gagne / Carte Foaie
common.buy 572.42 lei
Type Theory and Formal Proof Rob Nederpelt / Carte Copertă tare
common.buy 569.80 lei
Machine Learning Engineering Andriy Burkov / Carte Carte broșată
common.buy 222.00 lei
Programming with Types Vlad Riscutia / Carte Carte broșată
common.buy 304.66 lei
Top
Man and His Symbols Carl G. Jung / Carte Carte broșată
common.buy 95.81 lei
Modern Man in Search of a Soul Cary F. Baynes / Carte Copertă tare
common.buy 112.81 lei
Top
Neville Goddard Neville Goddard / Carte Copertă tare
common.buy 199.18 lei
Top
Influence Robert B. Cialdini / Carte Copertă tare
common.buy 155.44 lei
Bug Bounty & Web App Security Norris E. Fairbank / Carte Carte broșată
common.buy 95.41 lei
Practical Foundations for Programming Languages Robert Harper / Carte Copertă tare
common.buy 535.72 lei
Programming Languages Norman Ramsey / Carte Copertă tare
common.buy 546.88 lei
Top
The Clean Coder Robert C. Martin / Carte Carte broșată
common.buy 196.97 lei
Top
How to Prove It Daniel J. Velleman / Carte Carte broșată
common.buy 286.86 lei
Top
Fundamentals of Software Architecture Mark Richards / Carte Carte broșată
common.buy 347.49 lei
Top
Dance of Thieves Mary E. Pearson / Carte Carte broșată
common.buy 57.40 lei
Top
Things You Can See Only When You Slow Down Haemin Sunim / Carte Carte broșată
common.buy 57.60 lei
Top
Mathematical Theory of Communication Shannon C. Weav / Carte Carte broșată
common.buy 141.97 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?