pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: ACTION SEMANTICS
By: Peter D. Mosses, C. J. Van Rijsbergen, S. Abramsky
Format: Paperback

List price: £51.99
Our price: £45.49
Discount:
12.5% off
You save: £6.50
ISBN 10: 0521619335
ISBN 13: 9780521619332
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: CAMBRIDGE UNIVERSITY PRESS
Pub. date: 31 December, 2004
Series: Cambridge Tracts in Theoretical Computer Science No. 26
Pages: 396
Description: Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics.
Synopsis: 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.
Publication: UK
Imprint: Cambridge University Press
Returns: Returnable
Some other items by this author:
ACTION SEMANTICS
ACTION SEMANTICS (HB)
ADVANCES IN INFORMATION RETRIEVAL (PB)
ALGORITHMIC INFORMATION THEORY (PB)
APPLICATIONS OF PROCESS ALGEBRA (PB)
BASIC PROOF THEORY (PB)
BASIC SIMPLE TYPE THEORY (HB)
BELIEF REVISION (PB)
CASL REFERENCE MANUAL (PB)
CASL USER MANUAL (PB)
COMPUTING SCIENCE IN THE UNIVERSITY OF GLASGOW (PB)
DOMAINS AND LAMBDA CALCULI (HB)
EPISTEMIC LOGIC FOR AI AND COMPUTER SCIENCE (PB)
EXTENSIONS OF FIRST-ORDER LOGIC (PB)
FORMAL SEMANTICS AND PRAGMATICS FOR NATURAL LANGUAGE QUERYING (PB)
FORMAL SPECIFICATION AND DESIGN (PB)
FREE CHOICE PETRI NETS (PB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 1. BACKGROUND: MATHEMATICAL STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 2. BACKGROUND: COMPUTATIONAL STRUCTURES (HB)
INFORMATION FLOW (HB)
LOGIC AND COMPUTATION (PB)
METAMATHEMATICS, MACHINES AND GODEL'S PROOF (PB)
NETS, TERMS AND FORMULAS (PB)
PREDICATETRANSFORMER SEMANTICS (PB)
PROGRAMS, RECURSION AND UNBOUNDED CHOICE (PB)
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES (PB)
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES (PB)
SIGIR '94 (PB)
TAPSOFT '95 (PB)
THE GEOMETRY OF INFORMATION RETRIEVAL
THE GEOMETRY OF INFORMATION RETRIEVAL (HB)
THE LOGIC OF TYPED FEATURE STRUCTURES (PB)
THEORETICAL COMPUTER SCIENCE: EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS (PB)
THEORETICAL FOUNDATIONS OF VLSI DESIGN (PB)
TOPOLOGY VIA LOGIC (PB)
TWO-LEVEL FUNCTIONAL LANGUAGES (PB)
UPDATING LOGICAL DATABASES (PB)

TOP SELLERS IN THIS CATEGORY
Essential Maths Skills for AS/A Level Computer Science (Paperback)
Hodder Education
Our Price : £10.94
more details
An Introduction to Quantum Computing (Paperback)
Oxford University Press
Our Price : £53.38
more details
MATLAB Deep Learning (Paperback)
APress
Our Price : £48.12
more details
Basic Elements of Computational Statistics (Hardback)
Springer International Publishing AG
Our Price : £43.99
more details
Discrete and Combinatorial Mathematics (Paperback)
Pearson Education Limited
Our Price : £67.52
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing
 mathematical theory of computation


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket