von
Preis unbekannt
S. Even
Datenverarbeitung Formale Sprache Languages Signatur Variable algorithm algorithms automata complexity database logic model theory programming term rewriting verification