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.