von
Preis unbekannt
J. Diaz
Monoid algorithms automata complexity constant data structure distributed systems grammars hardware logic network parallelism programming semantics theorem proving