All Categories /
Computers & Technology /
Programming

Semantics With Applications: A Formal Introduction (Wiley Professional Computing)

(2)
Semantics With Applications: A Formal Introduction (Wiley Professional Computing) image
ISBN-10:

0471929808

ISBN-13:

9780471929802

Author(s): Nielson, Hanne Riis; Nielson, Flemming
Released: Dec 06, 1991
Publisher: John Wiley&Sons, Inc.
Format: Paperback, 252 pages
Related ISBN: 9781846286919
Find in Library

Description:

The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics; stress their relationship by formulating and proving relevant theorems; and to illustrate the applicability of formal semantics as a tool in computer science. The bulk of the text concentrates on a small core language of while-programs for which the three approaches are developed to roughly the same level of sophistication. To demonstrate the applicability of formal semantics, the authors show how to use semantics for validating prototype implementations of programming languages; how to use semantics for verifying analyses used in more advanced implementations of programming languages; and how to use semantics for verifying useful program properties including information about execution time. The reader should have some experience of functional programming and the BNF-style of specifying the syntax of programming languages.

Best prices to buy, sell, or rent ISBN 9780471929802

‌
‌
‌

Frequently Asked Questions about Semantics With Applications: A Formal Introduction (Wiley Professional Computing)

You can buy the Semantics With Applications: A Formal Introduction (Wiley Professional Computing) book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from ‌ and is $‌ for the ‌.

The price for the book starts from $8.42 on Amazon and is available from 4 sellers at the moment.

If you’re interested in selling back the Semantics With Applications: A Formal Introduction (Wiley Professional Computing) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.

As for the Semantics With Applications: A Formal Introduction (Wiley Professional Computing) book, the best buyback offer comes from ‌ and is $‌ for the book in good condition.‌

‌‌‌‌‌‌‌‌‌‌

The Semantics With Applications: A Formal Introduction (Wiley Professional Computing) book is in very low demand now as the rank for the book is 3,026,829 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.

The highest price to sell back the Semantics With Applications: A Formal Introduction (Wiley Professional Computing) book within the last three months was on October 06 and it was $2.03.