Showing 1 - 2 results of 2 for search 'Partsch, Helmut A., 1950-', query time: 0.01s Refine Results
  1. 1
    Specification and transformation of programs : a formal approach to software development /
    Book
    by Partsch, Helmut A., 1950-
    Published 1990
    Save to List
    Saved in:
  2. 2
    Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /
    Book
    Published 1993
    Other Authors: “…Partsch, Helmut A., 1950-…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search