Modal Semirings and Applications - Trends in Logic - Bernhard Moller - Grāmatas - Springer Nature Switzerland AG - 9783032235916 - 2027. gada 5. februāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Bernhard Moller
Modal Semirings and Applications - Trends in Logic

Cena
€ 104,49
Paredzamā piegāde 2027. gada 15. - 18. febr.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Bernhard Moller izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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.

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Tiks izlaists 2027. gada 5. februāris
ISBN13 9783032235916
Izdevēji Springer Nature Switzerland AG
Lapas 573
Izmēri 150 × 220 × 20 mm   ·   889 g   (Svars (aptuveni))

Vairāk no tā paša izdevēja

Skatīt visus Bernhard Moller