|
|
books
| book details |
Modal Semirings and Applications
By (author) Bernhard Möller, By (author) Jules Desharnais
|
|
| on special |
normal price: R 3 561.95
Price: R 3 383.95
|
| book description |
The book serves as a systematic exposition of modal semirings. Next to motivating the definitions, developing the basic calculus and discussing the most interesting examples of modal semirings, it presents a wide variety of applications. On the side of program semantics, Hoare Logic, the theory of general and partial correctness, demonic semantics and various temporal logics such as PDL, LTL and CTL* are treated. The book is situated in the general area of formal methods. Among the many approaches there, it concentrates on a strongly calculational style using algebra as its main ingredient. This field is often called algebraic logic. Its aim is to compact series of small steps of general logical inference into larger (in) equational steps. Moreover, it attempts to replace tedious model-theoretic argumentation, in particular, element-wise argumentation, by more abstract and compact reasoning. The structure of the book is as follows: Part I presents the basic theory. Part II contains applications to program semantics, graph-theoretic algorithms, Epistemic Logic, game analysis and databases with preference relations. Part III deals with infinite computations as well as their application to the above-mentioned temporal logics and Neighbourhood Logic as used in the description of hybrid systems. Part IV presents further applications to program semantics and terminations analysis. Finally, Part V contains some advanced theoretical material. Whereas Part I should be read sequentially, the chapters in the other parts are more or less independent of each other.
| product details |
Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 28 Oct 2026
Language |
Format | Hardback
Pages | 573
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0322-3591-6
Readership Age |
BISAC | philosophy / logic
| other options |
Normally shipped |
Readership Age |
Normal Price | R 4 386.95
Price | R 4 166.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
This is indeed a story of mercy and the redemption it offers.
|
|
Katie Daysh
Paperback / softback
384 pages
was: R 295.95
now: R 259.95
|
|
Victor Frankenstein driven by the mad dream of creating his own creature, experiments with alchemy and science to build a monster stitched together from dead remains.
|
|
|
|
