Norges billigste bøker
Om Rudiments of Calculus

Emphasises on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, explained in an algebraic way. This book is aimed at researchers and students interested in logic in computer science, computer aided verification, and general aspects of automata theory.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780444506207
  • Bindende:
  • Hardback
  • Sider:
  • 298
  • Utgitt:
  • 7. februar 2001
  • Dimensjoner:
  • 230x171x18 mm.
  • Vekt:
  • 590 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 31. mars 2025

Beskrivelse av Rudiments of Calculus

Emphasises on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, explained in an algebraic way. This book is aimed at researchers and students interested in logic in computer science, computer aided verification, and general aspects of automata theory.

Brukervurderinger av Rudiments of Calculus



Finn lignende bøker
Boken Rudiments of Calculus finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.