Hans Langmaack

Langmaack in 2025 Hans Langmaack (born 7 May 1934) is a German mathematician and computer scientist. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Langmaack, Hans', query time: 0.01s Refine Results
  1. 1
    Translation of ALGOL 60 /
    Book
    by Grau, Albert A.
    Published 1967
    Other Authors: “…Langmaack, Hans…”
    Save to List
    Saved in:
  2. 2
    1. [i.e. Erste] Fachtagung uber Programmiersprachen, Munchen, 9.-11. Marz 1971.
    Conference Proceeding Book
    Published 1972
    Other Authors: “…Langmaack, Hans…”
    Save to List
    Saved in:
  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 /
    Book
    Published 1994
    Other Authors: “…Langmaack, Hans…”
    Save to List
    Saved in:
  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 /
    Conference Proceeding Book
    Published 1990
    Other Authors: “…Langmaack, Hans…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search