Visit our new collection website
www.collectionsforschool.co.uk
SCHOOL BOOKS
KEY STAGES
BEST SELLERS
BOOK AWARDS
NEW FICTION
HOME
FURTHER EDUCATION
SECONDARY
PRIMARY
COLLECTIONS
VIEW BASKET
CHECK-OUT
MY ACCOUNT
HELP
Title / ISBN13
ISBN / EAN
Author
Publisher
Series
Category
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:
NOMINAL SETS
NAMES AND SYMMETRY IN COMPUTER SCIENCE
By:
Andrew M. Pitts
Format:
Hardback
List price:
£54.99
Our price:
£49.49
Discount:
10
% off
You save:
£5.50
ISBN 10:
1107017785
ISBN 13:
9781107017788
Availability:
Usually dispatched within 1-3 weeks.
Delivery rates
Stock:
Currently
0
available
Publisher:
CAMBRIDGE UNIVERSITY PRESS
Pub. date:
30 May, 2013
Series:
Cambridge Tracts in Theoretical Computer Science 57
Pages:
287
Description:
The first detailed account of the basic theory and applications of nominal sets.
Synopsis:
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.
Illustrations:
20 b/w illus. 80 exercises
Publication:
UK
Imprint:
Cambridge University Press
Returns:
Returnable
Some other items by this author:
AUTOMATA, LANGUAGES, AND PROGRAMMING (PB)
AUTOMATA, LANGUAGES, AND PROGRAMMING (PB)
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (PB)
HIGHER ORDER OPERATIONAL TECHNIQUES IN SEMANTICS (HB)
SEMANTICS AND LOGICS OF COMPUTATION
SEMANTICS AND LOGICS OF COMPUTATION (HB)
SEMANTICS AND LOGICS OF COMPUTATION (PB)
TOP SELLERS IN THIS CATEGORY
Computational Physics
(Paperback)
By:
Rubin H. Landau, Manuel J. Paez, Cristian C. Bordeianu
Wiley-VCH Verlag GmbH
Our Price :
£74.25
A Dictionary of Computer Science
(Paperback)
By:
Andrew Butterfield (Editor), Gerard Ekembe Ngondi (Editor), Anne Kerr (Editor)
Oxford University Press
Our Price :
£10.21
Basic Elements of Computational Statistics
(Hardback)
By:
Wolfgang Karl Hardle, Yarema Okhrin, Ostap Okhrin
Springer International Publishing AG
Our Price :
£55.99
Garbage Collection
(Hardback)
By:
Richard Jones, Rafael Lins
John Wiley and Sons Ltd
Our Price :
£55.76
R for SAS and SPSS Users
(Hardback)
By:
Robert A. Muenchen
Springer-Verlag New York Inc.
Our Price :
£104.99
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
Tweet this!
Stumble Upon
Blogger
Delicious
Digg
Facebook
AddThis
NEW
Ramadan and Eid al-Fitr
By:
SARA KHAN
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
Learning
That''s My Story!: Drama for Confidence, Communication and C...
By:
ADAM POWER-ANNAND
The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
Learning
Power of 2
By:
DAVID JOSEPH SHARP
Learning
Reading Lessons
By:
CAROL ATHERTON
Easter
Greg the Sausage Roll: Egg-cellent Easter Adventure
By:
MARK HOYLE
Easter
Dear Easter Bunny
By:
MAXINE LEE-MACKIE
Easter
We''re Going on an Egg Hunt
By:
GOLDIE HAWK
Picture Book
Bowerbird
By:
JULIA DONALDSON
Picture Book
Mummy and Me
By:
LYDIA BRIGHT