Explore

Q1,089

Price includes

Import Duties and Taxes. Free shipping available

From Guatemala

Practical Foundations for Programming Languages

0 ratings

Product ID: 36220602

Brand:

harper robert

Add to cartQ1,089

Spotted a better price elsewhere? Self ship it at cheapest rate!

Learn more

Easy Returns with desertcart PRO

30 day return window

Free replacements & exchanges

Hassle free one-click returns

Customer support

We’re available 24/7 to help you!

Live chat Email

About the item

Practical Foundations for Programming Languages.

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.

Disclaimer: The price shown above includes all applicable taxes and fees. The information provided above is for reference purposes only. Products may go out of stock and delivery estimates may change at any time. desertcart does not validate any claims made in the product descriptions above. For additional information, please contact the manufacturer or desertcart customer service. While desertcart makes reasonable efforts to only show products available in your country, some items may be cancelled if they are prohibited for import in United Arab Emirates. For more details, please visit our Support Page.

Frequently Asked Questions About Practical Foundations for Programming Languages in Guatemala

Where can I buy Practical Foundations for Programming Languages online at the best price in the Guatemala?

desertcart is the best online shopping platform where you can buy Practical Foundations for Programming Languages from renowned brand(s). desertcart delivers the most unique and largest selection of products from across the world especially from the US, UK and India at best prices and the fastest delivery time.

Is Practical Foundations for Programming Languages available and ready for delivery in Guatemala?

desertcart ships the Practical Foundations for Programming Languages to Guatemala City, Villa Nueva, Coban, Coatepeque, San Pedro Carchaand more cities in Guatemala. Get unlimited free shipping in 164+ countries with desertcart Plus membership. We can deliver the Practical Foundations for Programming Languages speedily without the hassle of shipping, customs or duties.

Does desertcart have 100% authentic Practical Foundations for Programming Languages online?

desertcart buys Practical Foundations for Programming Languages directly from the authorized agents and verifies the authenticity of all the products. We have a dedicated team who specialize in quality control and efficient delivery. We also provide a free 14 days return policy along with 24/7 customer support experience.

Is it safe to buy Practical Foundations for Programming Languages on desertcart?

Yes, it is absolutely safe to buy Practical Foundations for Programming Languages from desertcart, which is a 100% legitimate site operating in 164 countries. Since 2014, desertcart has been delivering a wide range of products to customers and fulfilling their desires. You will find several positive reviews by desertcart customers on portals like Trustpilot, etc. The website uses an HTTPS system to safeguard all customers and protect financial details and transactions done online. The company uses the latest upgraded technologies and software systems to ensure a fair and safe shopping experience for all customers. Your details are highly secure and guarded by the company using encryption and other latest softwares and technologies.