Suchergebnisse - Goguen, Joseph 1941-2006

Treffer filtern
  1. 1
    Buchumschlag

    A categorical manifesto
    von Goguen, Joseph 1941-2006

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Algebras, theories and freeness: an introduction for computer scientists
    von Burstall, Rod M. 1934-, Goguen, Joseph 1941-2006

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    The semantics of Clear, a specification language
    von Burstall, Rod M. 1934-, Goguen, Joseph 1941-2006

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Algebraic semantics of imperative programs
    von Goguen, Joseph 1941-2006, Malcolm, Grant

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Four pieces on error, truth and reality
    von Goguen, Joseph 1941-2006

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Order-sorted algebra
    Band 1 - Equational deduction for multiple inheritance, overloading, exceptions and partial operations
    von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Modular algebraic specification of some basic geometrical constructions
    von Goguen, Joseph 1941-2006

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Final algebras, cosemicomputable algebras, and degrees of unsolvability
    von Moss, Lawrence S., Meseguer, José, Goguen, Joseph 1941-2006

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    A categorical manifesto
    von Goguen, Joseph 1941-2006

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    OBJ as theorem prover with applications to hardware verification
    von Goguen, Joseph 1941-2006

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Higher order functions considered unnecessary for higher order programming
    von Goguen, Joseph 1941-2006

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Order sorted algebra solves the constructor-selector, multiple representation and coercion problems
    von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Unifying functional, object-oriented and relational programming with logical semantics
    von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    One, none, a hundred thousand specification languages
    von Goguen, Joseph 1941-2006

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Order sorted algebra solves the constructor-selector, multiple representation and coercion problems
    von Meseguer, José, Goguen, Joseph 1941-2006

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Compiling concurrent rewriting onto the rewrite rule machine
    von Aida, Hitoshi, Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Semantic specifications for the rewrite rule machine
    von Goguen, Joseph 1941-2006

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Order-sorted Algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
    von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Cell, tile and ensemble architecture of the rewrite rule machine
    von Goguen, Joseph 1941-2006, Leinwand, Sany, Winkler, Timothy

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Introducing OBJ3
    von Goguen, Joseph 1941-2006, Winkler, Timothy

    Veröffentlicht 1988
    Buch


    Gespeichert in:

Suchwerkzeuge: