Treffer 1 – 11 von 11 für Suche 'Sannella, Donald T.', Suchdauer: 0,05s 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
    Completeness of proof systems for equational specifications

    Completeness of proof systems for equational specifications von MacQueen, David B., Sannella, Donald T.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Structured theories in LCF

    Structured theories in LCF von Sannella, Donald T., Burstall, Rod M.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A kernel language for algebraic specification and implementation

    A kernel language for algebraic specification and implementation von Sannella, Donald T., Wirsing, Martin 1948-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Model-theoretic foundations for program development basic concepts and motivation

    Model-theoretic foundations for program development basic concepts and motivation von Sannella, Donald T., Tarlecki, Andrzej

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    The definition of Extended ML a gentle introduction

    The definition of Extended ML a gentle introduction von Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Semantics, implementation and pragmatics of Clear, a program specification language

    Semantics, implementation and pragmatics of Clear, a program specification language von Sannella, Donald T.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A new semantics for Clear

    A new semantics for Clear von Sannella, Donald T.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    On behavioural abstraction and behavioural satisfaction in higher order logic

    On behavioural abstraction and behavioural satisfaction in higher order logic von Hofmann, Martin, Sannella, Donald T.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    The definition of Extended ML

    The definition of Extended ML von Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    An experimental applicative language

    An experimental applicative language von Burstall, Rod M., MacQueen, D. B., Sannella, Donald T.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Semantic and logical foundations of global computing

    Semantic and logical foundations of global computing

    Veröffentlicht 2007
    Weitere Verfasser: “… Sannella, Donald T. …”
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: