Výsledky vyhledávání - Breitner, Joachim

  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. Obálka

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation Autor Breitner, Joachim

    Vydáno 2021
    Získat plný text
    Online
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: