Search Results - Back, Ralph-Johan

  • Showing 1 – 12 results of 12
Filter by
  1. 1
    Cover Image

    Engineering theories of software intensive systems: International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures
    [1] - Incremental software construction with refinement diagrams
    by Back, Ralph-Johan

    Published 2004
    Conference Proceedings Book


    Saved in:
  2. 2
    Cover Image

    Refinement calculus: a systematic introduction
    by Back, Ralph-Johan, Wright, Joakim von 1955-

    Published 1998
    Table of Contents
    Book


    Saved in:
  3. 3
    Cover Image

    On the correctness of refinement steps in program development
    by Back, Ralph-Johan

    Published 1978
    Book


    Saved in:
  4. 4
    Cover Image

    On the correctness of refinement steps in program development
    by Back, Ralph-Johan

    Published 1978
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    I3V: a program proof management system
    by Back, Ralph-Johan, Hietala, Pentti

    Published 1986
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    Proving total correctness of nondeterministic programs in infinitary logic
    by Back, Ralph-Johan R.

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    On the notion of correct refinement of programs
    by Back, Ralph-Johan R.

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Correctness of explicitly specified procedures
    by Back, Ralph-Johan R.

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Exception handling with multi-exit statements
    by Back, Ralph-Johan R.

    Published 1979
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    On the correctness of refinement steps in program develoment
    by Back, Ralph-Johan

    Published 1978
    Order via interlibrary loan
    Thesis/Dissertation Book


    Saved in:
  11. 11
    Cover Image

    Checking whether programs are correct or incorrect
    by Back, Ralph-Johan R.

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Semantics of unbounded nondeterminism
    by Back, Ralph-Johan

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: