![](/Images/spacer.gif) |
![](/Images/menu_shadow.gif)
![](/Images/menu_shadow.gif)
|
![](/Images/spacer.gif) |
Item Details
Title:
|
COMPUTABLE MODELS
|
By: |
Raymond Turner |
Format: |
Paperback |
![](/Images/divider_itemdetail_1a.gif)
List price:
|
£63.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
1849968187 |
ISBN 13: |
9781849968188 |
Publisher: |
SPRINGER LONDON LTD |
Pub. date: |
13 October, 2010 |
Edition: |
Softcover reprint of hardcover 1st ed. 2009 |
Pages: |
240 |
Description: |
Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, the author uses this framework to study computable models. |
Synopsis: |
Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models with a logical foundation.Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics. They are also implicit in computer modelling in many areas of physical and social science.This detailed investigation into the logical foundations of specification and specification languages and their application to the definition of programming languages, coupled with a clear exposition of theories of data and computable models as mathematical notions will be welcomed by researchers and graduate students. |
Illustrations: |
XII, 240 p. |
Publication: |
UK |
Imprint: |
Springer London Ltd |
Returns: |
Returnable |
|
|
|
![](/images/spacer.gif) |
![](images/menu_shadow2.gif)
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
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.
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
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.
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
|
![](/Images/spacer.gif) |