0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Action Semantics (Paperback, New Ed) Loot Price: R1,671
Discovery Miles 16 710
Action Semantics (Paperback, New Ed): Peter D. Mosses

Action Semantics (Paperback, New Ed)

Peter D. Mosses

Series: Cambridge Tracts in Theoretical Computer Science

 (sign in to rate)
Loot Price R1,671 Discovery Miles 16 710 | Repayment Terms: R157 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have an interest in the semantics of programming languages will find Action Semantics a most helpful book.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Series: Cambridge Tracts in Theoretical Computer Science
Release date: February 2005
First published: 1992
Authors: Peter D. Mosses
Dimensions: 246 x 188 x 19mm (L x W x T)
Format: Paperback - Trade
Pages: 396
Edition: New Ed
ISBN-13: 978-0-521-61933-2
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Promotions
LSN: 0-521-61933-5
Barcode: 9780521619332

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Agent-Based Modeling and Network…
Akira Namatame, Shu-Heng Chen Hardcover R2,970 Discovery Miles 29 700
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,128 R2,831 Discovery Miles 28 310
Hidden Semi-Markov Models - Theory…
Shun-Zheng Yu Paperback R846 Discovery Miles 8 460
Numerical Time-Dependent Partial…
Moysey Brio, Gary M. Webb, … Hardcover R3,033 R2,850 Discovery Miles 28 500
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,750 Discovery Miles 17 500
Conceptual Spaces: Elaborations and…
Mauri Kaipainen, Frank Zenker, … Hardcover R3,112 Discovery Miles 31 120
Handbook of Research on Emerging Trends…
Arun Solanki, Sandeep Kumar, … Hardcover R10,356 Discovery Miles 103 560
Numerical Methods for Linear Control…
Biswa Datta Hardcover R2,251 Discovery Miles 22 510
Handbook of Automated Reasoning, Volume…
Alan J.A. Robinson, Andrei Voronkov Hardcover R5,054 Discovery Miles 50 540
Mathematics and Computing - ICMC 2018…
Debdas Ghosh, Debasis Giri, … Hardcover R2,732 Discovery Miles 27 320
Essential Linear Algebra with…
Titu Andreescu Hardcover R2,882 Discovery Miles 28 820
Modeling and Simulation with Compose and…
Stephen L. Campbell, Ramine Nikoukhah Hardcover R3,180 Discovery Miles 31 800

See more

Partners