Suchergebnisse - Back, Ralph-Johan

  • Treffer 1 – 12 von 12
Treffer filtern
  1. 1
    Buchumschlag

    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
    von Back, Ralph-Johan

    Veröffentlicht 2004
    Tagungsbericht Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1978
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1986
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1980
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1980
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1980
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1979
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1978
    Per Fernleihe bestellen
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1980
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Semantics of unbounded nondeterminism
    von Back, Ralph-Johan

    Veröffentlicht 1980
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: