Mostrando 1 - 4 resultados de 4 para a busca 'Langmaack, Hans', tempo de busca: 0.01s Refinar Resultados
  1. 1
    Translation of ALGOL 60 /
    Livro
    por Grau, Albert A.
    Publicado em 1967
    Outros Autores: “…Langmaack, Hans…”
    Salvar na lista
    Na minha lista:
  2. 2
    1. [i.e. Erste] Fachtagung uber Programmiersprachen, Munchen, 9.-11. Marz 1971.
    Anais de Congresso Livro
    Publicado em 1972
    Outros Autores: “…Langmaack, Hans…”
    Salvar na lista
    Na minha lista:
  3. 3
    Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings /
    Livro
    Publicado em 1994
    Outros Autores: “…Langmaack, Hans…”
    Salvar na lista
    Na minha lista:
  4. 4
    VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
    Anais de Congresso Livro
    Publicado em 1990
    Outros Autores: “…Langmaack, Hans…”
    Salvar na lista
    Na minha lista:
Ferramentas de busca: Obter Feed RSS – Enviar busca por e-mail