Modal Semirings and Applications - Trends in Logic - Bernhard Moller - Books - Springer Nature Switzerland AG - 9783032235916 - February 5, 2027
In case cover and title do not match, the title is correct

Bernhard Moller
Modal Semirings and Applications - Trends in Logic

Price
R 1,714
excl. VAT
Expected delivery Feb 15 - 18, 2027
Christmas presents can be returned until 31 January
Get notified about new Bernhard Moller releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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. Part II contains applications to program semantics, graph-theoretic algorithms, Epistemic Logic, game analysis and databases with preference relations.

Media Books     Hardcover Book   (Book with hard spine and cover)
To be released February 5, 2027
ISBN13 9783032235916
Publishers Springer Nature Switzerland AG
Pages 573
Dimensions 150 × 220 × 20 mm   ·   889 g   (Weight (estimated))

More from the same publisher

See all of Bernhard Moller