- Početna stranica /
- Knjige /
- Računala i tehnologija /
- Programming Languages /
- Practical Foundations for Programming Languages
Practical Foundations for Programming Languages
89% of respondents would recommend this to a friend
€ 98
Price Details
Excluding Shipping & Custom charges ( Shipping and custom charges will be calculated on checkout )
*All items will import from SAD
QTY:
Ubuy works hard to protect your security and privacy. Our advanced payment security system ensures confidentiality by encrypting your information during transmission using AES (Advanced Encryption Standards) and SSL (Secure Socket Layer) protocols. Your payment details are 100% secure as we do not share your payment details with third party sellers.
Develops a comprehensive theory of programming languages based on type systems and operational semantics.
Fast
Shipping
Free
Return*
Secure Packaging
100% Original Products
PCI DSS Compliance
ISO 27001 Certified
What Stands Out
Detalji o proizvodu
- This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.
| Publisher | Cambridge University Press |
| Publication date | April 4, 2016 |
| Edition | 2nd |
| Language | English |
| Print length | 512 pages |
| ISBN-10 | 1107150302 |
| ISBN-13 | 978-1107150300 |
| Item Weight | 2.38 pounds (1.08 kg) |
| Dimensions | 7 x 1 x 9 inches (17.8 x 2.5 x 22.9 cm) |
Who Should Buy?
-
Aspiring Programmers
Beginners needing a solid foundation in programming languages will greatly benefit from clear explanations and structured concepts.
-
Computer Science Students
Students pursuing computer science will find this resource invaluable for understanding programming language principles and their applications.
-
Language Designers
Professionals involved in designing new programming languages can gain deep insights into foundational theories and practical implementations.
-
Casual Learners
Individuals looking for light, easy readings may find this textbook too dense and technical for their needs.
OPIS PROIZVODA
Pitanja i odgovori kupaca
-
pitanje:
Kako kupovati Practical Foundations for Programming Languages online od Ubuya?
odgovor: Jednostavno je kupovati Practical Foundations for Programming Languages online s Ubuya.. Samo trebate potražiti proizvod, odabrati način dostave tijekom odjave i dobiti ga na svoju lokaciju. -
pitanje:
Je li Practical Foundations for Programming Languages dostupan za online kupnju u Croatia?
odgovor: Da, na Ubuyu Croatia ovaj proizvod vam je dostupan za kupnju po razumnoj cijeni.. Practical Foundations for Programming Languages nije dostupan lokalno, ali možete nam povjeriti naše usluge ekspresne dostave. -
pitanje:
Koliko dugo je potrebno da dobijete proizvod nakon narudžbe?
odgovor: Vrijeme isporuke vašeg naručenog proizvoda ovisi o tome što ste naručili i načinu dostave koji ste odabrali.. Predviđeno vrijeme dostave navedeno je tijekom procesa naplate, stoga budite bezbrižni prilikom kupovine.
Programming Languages Editorial Review
The "Practical Foundations for Programming Languages 2nd Edition" received mixed reviews from customers. While some reviewers praised the book, noting that it arrived in perfect condition and appreciated its practical approach, others found fault with its content. One reviewer expressed frustration with the abstract nature of the first chapter, critiquing the excessive use of notations and unclear definitions. They found certain concepts to be overly convoluted, leading to a breakdown in understanding. Overall, the book seems to appeal to those who are looking for a well-maintained practical resource, but may not be ideal for those seeking a straightforward and easily digestible introduction to the subject matter. **
Customer Reviews & Ratings
-
5 zvjezdica
63%
-
4 zvjezdica
24%
-
3 zvjezdica
4%
-
2 zvjezdica
9%
-
1 zvjezdica
0%
Recenzirajte ovaj proizvod
Podijelite svoje misli s drugim kupcima
Pros
- Arrived in perfect condition
- Practical approach appreciated by some readers
Protiv
- First chapter was found to be too abstract and convoluted
Customers also viewed these products
Product Price History
Važne informacije
- Ograničenja: imajte na umu da jamstvo možda ne vrijedi za proizvode koji se dostavljaju u inozemstvo; servis možda neće biti dostupan; priručnici proizvoda, upute i sigurnosna upozorenja možda nisu na jeziku zemlje odredišta; proizvodi (i prateći materijali) možda nisu u skladu sa standardima, specifikacijama i zahtjevima za označavanje zemlje odredišta; proizvod možda nije usklađen s naponom struje i drugim električnim standardima (zbog čega će možda trebati adapter ili pretvarač). Primatelj je odgovoran za provjeru može li proizvod prema važećim zakonima biti uvezen u zemlju odredišta. Kad naručujete od Ubuya ili njegovih partnera, primatelj se smatra registriranim uvoznikom i mora se pridržavati svih zakona i propisa zemlje odredišta.
- Svi proizvodi navedeni na Ubuyu nisu za prodaju, jer je Ubuy globalna tražilica. Proizvodi podliježu propisima o izvozu i trgovini.
€ 98
Naručite sada i dobijte ga oko Sunday, Listopad 11
This item is not restrict in my country.(Please click on above link if this item is not restrict in your country, So our team will review and allow.)
QTY:
PCI DSS compliant and ISO 27001:2022 certified, with encrypted payments and full buyer protection on every order.
Značajke i prednosti
- Precisely defines language concepts by static and dynamic semantics.
- Presents essential tools intuitively and rigorously using elementary mathematics.
- Analyzes and proves properties of languages using the provided framework.
- Covers a broad range of concepts such as data types, dynamic typing, and concurrency.
- Applicable to language implementation, logic development, and formal verification of language properties.
- Includes exercises and a new chapter on type refinements.
Ubuy Assurance
Experience worry-free shopping with 100% original products, PCI DSS-compliant payment security, ISO 27001-certified data protection, the fastest cross-border delivery, free returns *, and secure packaging on every order.

