Search Results - Bergstra, Jan

Jan Bergstra

Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focused on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general. Provided by Wikipedia
  • Showing 1 - 2 results of 2
Refine Results

  1. The History of Information Security : A Comprehensive Handbook /

    Published 2007
    Other Authors: “…Bergstra, Jan…”
    Book
    Save to List
    Saved in:

  2. Algebric specification

    Published 1989
    Other Authors: “…Bergstra, Jan…”
    Book
    Save to List
    Saved in:

Search Tools: