Treffer 1 – 12 von 12 für Suche 'Back, Ralph-Johan', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    I3V a program proof management system

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

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proving total correctness of nondeterministic programs in infinitary logic

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

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    On the notion of correct refinement of programs

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

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Correctness of explicitly specified procedures

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

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Exception handling with multi-exit statements

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

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    On the correctness of refinement steps in program development

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

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    On the correctness of refinement steps in program develoment

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

    Veröffentlicht 1978
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures

    Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures von Back, Ralph-Johan

    Veröffentlicht 2004
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Refinement calculus a systematic introduction

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

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Checking whether programs are correct or incorrect

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

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Semantics of unbounded nondeterminism

    Semantics of unbounded nondeterminism von Back, Ralph-Johan

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    On the correctness of refinement steps in program development

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

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: