von
Preis unbekannt
Stephen D. Brookes
Hardware calculus distributed systems logic programming programming language semantics