Temporal Logics

Goranko, Valentin (Stockholms Universitet) | Autoři

Vše od Cambridge University Press
ISBN: 9781009170109

Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

563 Kč

1 - 2 ks
563 Kč
3 - 10 ks
557 Kč
11 a více ks
552 Kč

Předpoklad doručení do 11. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

563 Kč

Nepřehlédněte od Cambridge University Press

Více o produktu

Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.

Výrobce
Cambridge University Press
Jazyk
United Kingdom
Autor
Goranko, Valentin (Stockholms Universitet)
Rozměry
152 x 229 x 9
Rok vydání
2023
Počet stran
112
Obsah
Paperback / softback
Hmotnost
176
Počet stran
112 pages, Worked examples or Exercises

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Temporal Logics a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!