von
Preis unbekannt
José Luis Fiadeiro
Automat Hardware Middleware automata computer computer science modeling programming programming language quality assurance semantics term rewriting verification