Search Results - Langmaack, Hans

Hans Langmaack

Langmaack in 2025 Hans Langmaack (born 7 May 1934) is a German mathematician and computer scientist. Provided by Wikipedia
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    VDM '90 VDM and Z - formal methods in software development

    VDM '90 VDM and Z - formal methods in software development by Bjorner, D. (Dines) 1937-, Hoare, C. A. R. (Charles Antony Richard) 1934-, Langmaack, Hans

    Published 1990

Search Tools: