Showing 1 - 2 results of 2 for search 'Partsch, Helmut A., 1950-', query time: 0.03s Refine Results
  1. 1
    Specification and transformation of programs : a formal approach to software development

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

    Berlin ; New York : Springer-Verlag, 1990
    Format: Book


    Save to List
    Saved in:
  2. 2
    Formal program development : IFIP TC 2/WG 2.1 state of the art report

    Formal program development : IFIP TC 2/WG 2.1 state of the art report

    Heidelberg, Germany ; New York : Springer-Verlag, 1993
    Other Authors:
    Format: Book


    Save to List
    Saved in:

Search Tools: