Zobrazuji výsledky 1 - 1 z 1 pro vyhledávání 'Dijkstra, Edsger Wybe', doba hledání: 0,01 s. Upřesnit hledání
  1. 1

    Formal development of programs and proofs

    Vydáno 1990
    Kniha

    Formal development of programs and proofs

Vyhledávací nástroje: