Zobrazuji výsledky 1 - 6 z 6 pro vyhledávání 'Broy, M., 1949-', doba hledání: 0,01 s. Upřesnit hledání
  1. 1
    KORSO : methods, languages, and tools for the construction of correct software : final report /
    Kniha
    Vydáno 1995
    Další autoři: “…Broy, M., 1949-…”
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /
    Konferenční příspěvek Kniha
    Vydáno 1982
    Další autoři: “…Broy, M., 1949-…”
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Methods of programming : selected papers on the CIP-project /
    Kniha
    Vydáno 1991
    Další autoři: “…Broy, M., 1949-…”
    Přidat do oblíbených
    Uloženo v:
  4. 4
    Program construction : international summer school /
    Kniha
    Vydáno 1979
    Další autoři: “…Broy, M., 1949-…”
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
    Kniha
    Vydáno 1993
    Další autoři: “…Broy, M., 1949-…”
    Přidat do oblíbených
    Uloženo v:
  6. 6
    Engineering theories of software construction /
    Konferenční příspěvek Mikrofilm Kniha
    Vydáno 2001
    Další autoři: “…Broy, M., 1949-…”
    Přidat do oblíbených
    Uloženo v:
Vyhledávací nástroje: RSS – Poslat e-mailem