Suchergebnisse - Sannella, Donald

Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Specifications in an arbitrary institution
    von Sannella, Donald, Tarlecki, Andrzej

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A new semantics for Clear
    von Sannella, Donald T.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    On observational equivalence and algebraic specification
    von Sannella, Donald, Tarlecki, Andrzej

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    HOPE et ML: une introduction
    von Sannella, Donald, Wirsing, Martin 1948-

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Foundations of Algebraic Specification and Formal Software Development
    von Sannella, Donald, Tarlecki, Andrzej

    Veröffentlicht 2012
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Formal program development in Extended ML for the working programmer
    von Sannella, Donald

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Toward formal development of programs from algebraic specifications: parameterisation revisited
    von Sannella, Donald, Sokołowski, Stefan, Tarlecki, Andrzej

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Introduction to Computation: Haskell, Logic and Automata
    von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

    Veröffentlicht 2021
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Toward formal development of programs from algebraic specifications: implementations revisited
    von Sannella, Donald, Tarlecki, Andrzej

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Introduction to computation: Haskell, logic and automata
    von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

    Veröffentlicht 2021
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Foundations of algebraic specification and formal software development
    von Sannella, Donald 1956-, Tarlecki, Andrzej 1956-

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

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

    Veröffentlicht 1994
    Buch


    Gespeichert in:

Suchwerkzeuge: