gefundene Verfasser BACK JOHAN

Back, Ralph-Johan
Back, Ralph-Johan R.
Bäck, Hanna 1975-
Hellström, Johan 1976-
Bergman, Torbjörn 1957-
Alle anzeigen »
Hietala, Pentti
Lindvall, Johannes
Teorell, Jan 1969-
Wright, Joakim von 1955-

Treffer 1 - 15 von 15 für Suche 'BACK JOHAN', Suchdauer: 0,84s Treffer weiter einschränken
  1. 1
    134 dagar om regeringsbildningen efter valet 2018

    134 dagar om regeringsbildningen efter valet 2018 von Teorell, Jan 1969-, Bäck, Hanna 1975-, Hellström, Johan 1976-, Lindvall, Johannes

    Veröffentlicht 2020
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    I3V a program proof management system

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

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Correctness of explicitly specified procedures

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

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    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

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Exception handling with multi-exit statements

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

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    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

    Zu den Favoriten
    Gespeichert in:
  8. 8
    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

    Zu den Favoriten
    Gespeichert in:
  9. 9
    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

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Refinement calculus a systematic introduction

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

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Checking whether programs are correct or incorrect

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

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Semantics of unbounded nondeterminism

    Semantics of unbounded nondeterminism von Back, Ralph-Johan

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    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

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Coalition governance in Western Europe

    Coalition governance in Western Europe

    Veröffentlicht 2021
    Weitere Verfasser:
    DE-188
    DE-473
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Coalition governance in Western Europe

    Coalition governance in Western Europe

    Veröffentlicht 2021
    Weitere Verfasser:
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: