- Hjemmeside /
- Bøker /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Pr...
Types & Programming Languages (The MIT Press)
88% av respondentene vil anbefale dette til en venn
NOK 1260
Prisdetaljer
Eksklusive frakt- og tollkostnader ( Frakt- og tollkostnader beregnes ved kassen )
*Alle varer importeres fra Storbritannia
26%
Antall:
Ubuy arbeider hardt for å beskytte din sikkerhet og personvern. Vårt avanserte betalingssikkerhetssystem sikrer konfidensialitet ved å kryptere informasjonen din under overføring ved hjelp av AES (Advanced Encryption Standards) og SSL (Secure Socket Layer)-protokoller. Betalingsopplysningene dine er 100 % sikre da vi ikke deler betalingsopplysningene dine med tredjepartsselgere.
A comprehensive introduction to type systems and programming languages.
Fast
Shipping
Gratis
retur*
Sikret innpakking
100 % originale produkter
PCI DSS-samsvar
ISO 27001-sertifisert
Produkt detaljer
- 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.
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 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.
NOK 1260
Bestill nå, så får du den omkring Onsdag, Oktober 21
Denne varen er ikke underlagt restriksjoner i mitt land. (Klikk på lenken over hvis varen ikke er begrenset i ditt land, så vil teamet vårt vurdere og godkjenne den.)
Antall:
PCI DSS-kompatibel og ISO 27001:2022-sertifisert, med krypterte betalinger og full kjøperbeskyttelse på hver bestilling.
Funksjoner og fordeler
- Introduction to type systems and programming languages
- Pragmatic and operational approach
- Motivated by programming examples
- Numerous exercises and solutions
- Running implementation available
- Covers core topics and case studies
Ubuy-garanti
Opplev bekymringsfri shopping med 100 % originale produkter, PCI DSS-kompatibel betalingssikkerhet, ISO 27001-sertifisert databeskyttelse, den raskeste grensekryssende leveringen, gratis retur, og sikker emballasje på hver bestilling.*