0 ratings
Types & Programming Languages (The MIT Press)
A comprehensive introduction to type systems and programming languages.
Types & Programming Languages (The MIT Press)
vare #: 195904411

Types & Programming Languages (The MIT Press)

vare #: 195904411

NOK 1260

NOK 1504

Prisdetaljer

Eksklusive frakt- og tollkostnader ( Frakt- og tollkostnader beregnes ved kassen )

*Alle varer importeres fra Storbritannia

26%

På lager
Storbritannia Importert fra UK-butikk

Antall:

Bestill nå, så får du den omkring Onsdag, Oktober 21
Våre beste leveringspartnere
  • fedex
  • dhl
A comprehensive introduction to type systems and programming languages.
fast shipping

Fast
Shipping

free return

Gratis
retur*

Sikret innpakking

Sikret innpakking

100 % originale produkter

100 % originale produkter

pci-dss

PCI DSS-samsvar

iso certified

ISO 27001-sertifisert


paypal payment
visa payment
mastercard payment

Produkt detaljer

Shop Types & Programming Languages (The MIT Press) online at a best price in NORGE. 0262162091
  • Comprehensive introduction to type systems and programming languages
  • Pragmatic and operational approach with motivated programming examples
  • Accompanied by numerous exercises, solutions, and a running implementation available online
  • Covers core topics such as untyped lambda-calculus, simple type systems, type reconstruction, and more
  • Includes extended case studies on modeling features of object-oriented languages
  • Identifies dependencies between chapters to allow various paths through the material
Publisher MIT Press
Publication date 5 Feb. 2002
Edition 1st
Language English
Print length 648 pages
ISBN-10 0262162091
ISBN-13 978-0262162098
Item weight 1.31 kg
Dimensions 23.88 x 20.62 x 3.61 cm

PRODUKTBESKRIVELSE

Types & Programming Languages (The MIT Press)

About This Item

Introducing the Comprehensive Guide to Types and Programming Languages Are you a software enthusiast looking to deepen your understanding of programming languages? Look no further than "Types and Programming Languages" by MIT Press. This book is a must-have for any programmer, whether you're a beginner or an experienced professional. With an emphasis on theory and practice, "Types and Programming Languages" covers a wide range of topics essential to mastering programming languages. From the basics of functional and object-oriented programming languages to more advanced concepts such as type systems and lambda calculus, this book has it all. One of the key strengths of this book is its focus on formal methods in programming languages.

It explores how formal methods can enhance the reliability and efficiency of your code, ensuring that your software meets the highest standards of quality. Whether you're interested in programming language design or implementation, "Types and Programming Languages" has got you covered. It provides a comprehensive overview of different programming language paradigms, syntax, and semantics, giving you the knowledge you need to make informed decisions when designing and implementing programming languages. In addition, this book delves into the world of compilers and interpreters, exploring how these tools play a crucial role in turning your code into executable programs. It also highlights the latest research in the field, keeping you up-to-date with the ever-evolving landscape of programming languages. "Types and Programming Languages" is not just for traditional software engineering.

It also caters to specialized domains such as web development, data analysis, artificial intelligence, mobile app development, game development, scientific computing, system programming, and embedded systems. Whether you're a beginner or an experienced programmer, this book provides a solid foundation in functional programming languages and object-oriented programming languages. It's easy to follow and understand, making it the perfect choice for those just starting their programming journey. Don't miss out on the opportunity to level up your programming skills. Order your copy of "Types and Programming Languages" now and take your programming knowledge to new heights.

Har du noen spørsmål? Chat med oss

Kundespørsmål og svar

  • Spørsmål: Hvordan handle Types & Programming Languages (The MIT Press) online fra Ubuy?

    Svar: Det er enkelt å handle Types & Programming Languages (The MIT Press) online fra Ubuy.. Du trenger bare å søke etter produktet, velge fraktmetode mens du sjekker ut og få det levert til ditt sted.
  • Spørsmål: Er Types & Programming Languages (The MIT Press) tilgjengelig for nettbutikk i Norway?

    Svar: Ja, hos Ubuy Norway er dette produktet tilgjengelig for deg å handle til en rimelig pris.. Types & Programming Languages (The MIT Press) er ikke tilgjengelig lokalt, men du kan stole på oss med våre ekspressfrakttjenester.
  • Spørsmål: Hvor lang tid tar det å få produktet etter bestillingen?

    Svar: Leveringstiden for det bestilte produktet ditt varierer i henhold til hva du har bestilt og fraktmetoden du har valgt.. Den estimerte leveringstiden er nevnt under utsjekkingsprosessen, så vær bekymringsløs mens du handler.

Functional Programming Editorial Review

Types & Programming Languages The MIT Press is an insightful resource that delves into the untyped lambda calculus and progresses into advanced topics, making it invaluable for those with a degree-level understanding of programming languages. The book, consisting of 648 pages, is structured to aid learners through exercises and solutions which enhances comprehension of type theory. Readers appreciate the well-organized content and its ability to clarify complex topics, making it suitable for graduate students eager to advance their knowledge in practical type theory. While it presents challenges typical of academic texts, its clarity and structure enable easier understanding than many online sources.

Kundeanmeldelser og vurderinger

5.0
1 kunders vurderinger
  • 5 stjerne
    100%
  • 4 stjerne
    0%
  • 3 stjerne
    0%
  • 2 stjerne
    0%
  • 1 stjerne
    0%

Vurder dette produktet

Del tankene dine med andre kunder

Fordeler

  • Comprehensive introduction to type theory
  • Offers a lot of exercises and solutions
  • Well-structured for easier understanding
  • Suitable for graduate-level students
  • Clear explanations of complex topics

Ulemper

  • Complexity may be challenging for some readers

Produktets prishistorikk

Viktig informasjon

  • Begrensninger: For produkter som sendes internasjonalt, vær oppmerksom på at eventuell produsentgaranti kan være ugyldig; produsentens serviceordninger er kanskje ikke tilgjengelige; produktmanualer, instruksjoner og sikkerhetsadvarsler er kanskje ikke på mottakerlandets språk; produktene (og medfølgende materiell) er kanskje ikke utformet i samsvar med mottakerlandets standarder, spesifikasjoner og merkekrav; og produktene samsvarer kanskje ikke med mottakerlandets krav til spenning og andre elektriske standarder (noe som kan kreve bruk av adapter eller omformer om nødvendig). Mottakeren er ansvarlig for å sikre at produktet lovlig kan importeres til mottakerlandet. Ved bestilling fra Ubuy eller dets datterselskaper er mottakeren registrert importør og må overholde alle lover og forskrifter i mottakerlandet.
  • Ikke alle produkter som er oppført på Ubuy er til salgs, da Ubuy er en global søkemotor. Produkter er underlagt eksport-/handelsreguleringer.