Treffer 1 - 20 von 37 für Suche 'Owe, Olaf', Suchdauer: 0,40s Treffer weiter einschränken
  1. 1
    Veröffentlicht 2013
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The response function method for specifying concurrent systems
    von Owe, Olaf
    Veröffentlicht 1986
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Partial logics reconsidered : a conservative approach
    von Owe, Olaf
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Specifying concurrency by generalized ready relations
    von Owe, Olaf
    Veröffentlicht 1993
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    An alias-free object oriented language concept
    von Owe, Olaf
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Axiomatic treatment of processes with shared variables revisited
    von Owe, Olaf
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A specification technique with idealization
    von Owe, Olaf
    Veröffentlicht 1980
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    An approach to program reasoning based on a first order logic for partial functions
    von Owe, Olaf
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A proposal for a process logic
    von Owe, Olaf
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Veröffentlicht 2009
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A note on quantifier removal
    von Owe, Olaf
    Veröffentlicht 1981
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A Formal Framework for Consent Management
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Definedness and strictness in generator inductive definitions
    von Lysne, Olav
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A simple three-valued sequent calculus
    von Elvang-Goeransson, Morten
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    On the use of sybtypes in ABEL
    von Dahl, Ole-Johan
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
    Veröffentlicht 2004
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    Publisher description
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    From object orientation to formal methods : essays in memory of Ole-Johan Dahl
    Veröffentlicht 2004
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Revised report on the programming and specification language ABEL
    von Langmyhr, Dag F.
    Veröffentlicht 1978
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    From object orientation to formal methods : essays in memory of Ole-Johan Dahl
    Veröffentlicht 2004
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Formal development with ABEL
    von Dahl, Ole-Johan
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: