Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Logics of Time and Computation

32,90 €

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

ISBN
9780937073940
Kieli
englanti
Paino
339 grammaa
Julkaisupäivä
30.6.1992
Sivumäärä
190