Tell your friends about this item:
Modal Semirings and Applications - Trends in Logic Bernhard Moller
Modal Semirings and Applications - Trends in Logic
Bernhard Moller
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.?
| Media | Books Hardcover Book (Book with hard spine and cover) |
| To be released | August 22, 2026 |
| ISBN13 | 9783032235916 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 572 |
| Dimensions | 150 × 220 × 20 mm · 888 g (Weight (estimated)) |