De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Bøger af D. Niwinski

Filter
Filter
Sorter efterSorter Populære
  • af A. Arnold & D. Niwinski
    1.098,95 kr.

    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.