Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Denvir, Tim', doba hledání: 0,01 s. Upřesnit hledání
  1. 1
    Introduction to discrete mathematics for software engineering /
    Kniha
    Autor Denvir, Tim
    Vydáno 1986
    Přidat do oblíbených
    Uloženo v:
  2. 2
    FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1994
    Další autoři: “…Denvir, Tim, 1939-…”
    Přidat do oblíbených
    Uloženo v:
Vyhledávací nástroje: RSS – Poslat e-mailem