Recomienda este artículo a tus amigos:
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.?
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Pendiente de lanzamiento | 14 de septiembre de 2026 |
| ISBN13 | 9783032235916 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 572 |
| Dimensiones | 150 × 220 × 20 mm · 888 g (Peso (estimado)) |