The Formal Semantics of Programming Languages

English

The Formal Semantics of Programming Languages

Name: The Formal Semantics of Programming Languages
Price: 8625 INR
Availability: InStock
Author: "Glynn Winskel"
ISBN: 9780262731034

Glynn Winskel

English

Paperback

₹8625

(All inclusive*)

Delivery Options

Please enter pincode to check delivery time.

*COD & Shipping Charges may apply on certain items.

Review final details at checkout.

Looking to place a bulk order? SUBMIT DETAILS

Piracy-free

Assured Quality

Secure Transactions

Fast Delivery

Sustainably Printed

About The Book

Description

Author

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent formalize and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary several of the topics covered are drawn from recent research including the vital area of concurency. The book contains many exercises ra