 |
|
|
Item Details
| Title:
|
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE
|
| By: |
Marcelo Fabian Frias |
| Format: |
Hardback |
| List price:
|
£72.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
9810248768 |
| ISBN 13: |
9789810248765 |
| Publisher: |
WORLD SCIENTIFIC PUBLISHING CO PTE LTD |
| Pub. date: |
1 August, 2002 |
| Series: |
Advances In Logic 2 |
| Pages: |
232 |
| Description: |
Fork algebras are a formalism based on the relational calculus with a particular appeal to computer science. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding. |
| Synopsis: |
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding. |
| Publication: |
Singapore |
| Imprint: |
World Scientific Publishing Co Pte Ltd |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
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.
|
My Brother Is a Superhero
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...
|
|
|
|
|