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

AKTUELLE PARTNERANGEBOTE

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

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. Joachim Breitner. Taschenbuch. Taschenbuch

1 Angebote · ab 36,00 € gemeldete Gesamtkosten