Computation engineering : applied automata theory and logic /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Salt Lake City : Springer, 2006.
Předmět: