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
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions

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

List price: £54.00
Our price: £47.25
Discount:
12.5% off
You save: £6.75
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)
By: Victoria Ellis, Gavin Craddock
Hodder Education
Our Price : £12.08
more details
Elements of Statistical Learning (Hardback)
By: Trevor Hastie, Robert Tibshirani, Jerome Friedman
Springer-Verlag New York Inc.
Our Price : £56.87
more details
Cryptography Made Simple (Hardback)
By: Nigel P. Smart
Springer International Publishing AG
Our Price : £38.24
more details
MATLAB Deep Learning (Paperback)
By: Phil Kim
APress
Our Price : £48.12
more details
Mathematical Foundations of Computer Networking (Paperback)
By: Srinivasan Keshav
Pearson Education (US)
Our Price : £56.69
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
 

NEW
World’s Worst Superheroes
By: DAVID WALLIAMS
GET READY FOR SOME SUPERSIZED FUN!
add to basket

Inspiring
Maya Angelou
By: EVIE DAYE
add to basket

Inspiring
Jane Goodall
By: EVIE DAYE
add to basket

Inspiring
Marie Curie
By: EVIE DAYE
add to basket

New
Running My Own Race
By: ABENA EYESON
add to basket

New
No Cheese, Please!
By: NISHANI REED
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero
By: DAVID SOLOMONS
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket

Picture Book
Thoughts from a Quiet Bench
By: KES GRAY
add to basket

Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket