Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

36.00 EUR

Marke: Joachim Breitner

ISBN: 3731505460

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Lazy Evaluation: From natural semantics to a machine-checked compiler transformation, Fachbücher von Joachim Breitner

36.00 EUR 36.00 EUR

22-04-2026 21:35:06

Access to the deal