Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Logics of Time and Computation

Logics of Time and Computation

av Robert Goldblatt
Logics of Time and Computation av Robert Goldblatt
Om Logics of Time and Computation

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780937073940
  • Format:
  • Häftad
  • Sidor:
  • 190
  • Utgiven:
  • 30. juni 1992
  • Utgåva:
  • 2
  • Mått:
  • 152x228x15 mm.
  • Vikt:
  • 339 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 10. april 2025

Om Robert Goldblatt

Se alla böcker av Robert Goldblatt

Beskrivning av Logics of Time and Computation

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.

Användarnas betyg av Logics of Time and Computation



Andra köpte även...
Hitta liknande böcker
Boken Logics of Time and Computation finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.