Bøger af D. Niwinski
Filter
Sorter efterSorter
Populære
-
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.
- Bog
- 1.098,95 kr.