Search Results - Partsch, Helmut A., 1950-

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Specification and transformation of programs : a formal approach to software development / by Partsch, Helmut A., 1950-

    Published 1990
    Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /

    Published 1993
    Other Authors: “…Partsch, Helmut A., 1950-…”
    Book

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search