3810549
9780521619332
Action Semantics
by Mosses, Peter D., van Rijsbergen, C. J., Abramsky, S.
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9780521619332
- ISBN: 0521619335
- Publication Date: 0009
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, especially regarding modularity of descriptions. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use.Mosses, Peter D. is the author of 'Action Semantics', published 0009 under ISBN 9780521619332 and ISBN 0521619335.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
