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: