Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Logics of Time and Computation
- Bindende:
- Paperback
- Sider:
- 190
- Utgitt:
- 30. juni 1992
- Utgave:
- 2
- Dimensjoner:
- 152x228x15 mm.
- Vekt:
- 339 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 3. april 2025
Beskrivelse 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.
Brukervurderinger av Logics of Time and Computation
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Logics of Time and Computation finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2025 Tales.no
