Semantics with Applications: A Formal Introduction (Wiley Professional Computing)
Language: English
Published by -, 1880
- Softcover
- Used
Seller: AwesomeBooks, Wallingford, United KingdomAwesomeBooks
5-star seller
AbeBooks seller since November 28, 2006
Softcover
Condition: Used - Very good
US$ 5.54
US$ 5.57 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Add to basketFree 30-day returns
Item description from seller
Semantics with Applications: A Formal Introduction (Wiley Professional Computing) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.
Seller Inventory # 7719-9780471929802
- Title
- Semantics with Applications: A Formal Introduction (Wiley Professional Computing)
- Author
- -
- Publisher
- -
- Publication year
- 1880
- Condition
- Very Good
- Binding
- Paperback
- Language
- English
- ISBN 10
- 0471929808
- ISBN 13
- 9780471929802
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.
"Synopsis" may belong to another edition of this title.
AwesomeBooks
Wallingford, United Kingdom
5-star seller
AbeBooks seller since November 28, 2006
Shipping rates from United Kingdom to U.S.A.
| Item | 4 to 15 business days | 4 to 15 business days |
|---|---|---|
| First item | US$ 5.57 | US$ 5.57 |
Payment methods
Store description
Started in an unfortunate mother's basement in 2004 with books that a student layabout no longer needed, AwesomeBooks now stocks over 2 million titles which are ready to be sent to your door within 24hours of ordering.
Our heritage is in supplying great quality used books. We have over 1.8 million books in our distribution centre ready to be shipped to you at any time. We also sell new books and are increasing our range of titles every day.
Specialty
Used Books, New BooksSeller's business information
WRAP Ltd
Unit 4,, 119 Loverock Road
Reading, United Kingdom RG30 1DZ
Terms of sale
All our books are used in either Good or Very Good condition. Should there be any problems after purchase email us and we will sort it out to your satisfaction.
Shipping terms
We try to keep our shipping terms as simple as possible :)
Shipping cost for orders to other destinations vary, so please check your destination country for more details.