Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog
Hardback version af Temporal Logic: Volume 2 af Dov M. Gabbay, M. Reynolds, M. Finger

Temporal Logic: Volume 2

Af
Bog
  • Format
  • Bog, hardback
  • Engelsk

Normalpris

kr. 3.249,95

Medlemspris

kr. 3.184,95
  • Du sparer kr. 65,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal612
  • Udgivelsesdato02-07-2003
  • ISBN139780198537687
  • Forlag Oxford University Press
  • MålgruppeFrom age 0
  • FormatHardback
Størrelse og vægt
  • Vægt1011 g
  • Dybde3,7 cm
    • coffee cup img
    10 cm
    book img
    16,2 cm
    24,2 cm

    Anmeldelser

    Vær den første!

    Log ind for at skrive en anmeldelse.

    Findes i disse kategorier...