Relational and Algebraic Methods in Computer Science

53.49 EUR

Ein Buch aus der RAMiCS‑Konferenz, das theoretische Informatik mit algebraischen Techniken verknüpft; es beleuchtet relationale Logik, formale Systeme und bietet praxisnahe Anwendungen für Forscher und Studierende.

Teilen: