 |
|
|
Item Details
| Title:
|
TEMPORAL TYPE THEORY
A TOPOS-THEORETIC APPROACH TO SYSTEMS AND BEHAVIOR |
| By: |
Patrick Schultz |
| Format: |
Hardback |
| List price:
|
£74.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3030007030 |
| ISBN 13: |
9783030007034 |
| Publisher: |
SPRINGER NATURE SWITZERLAND AG |
| Pub. date: |
9 February, 2019 |
| Edition: |
1st ed. 2018 |
| Series: |
Progress in Computer Science and Applied Logic |
| Pages: |
205 |
| Description: |
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. |
| Illustrations: |
X, 205 p. |
| 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...
|
|
|
|
|