Treffer 1 - 20 von 26 für Suche 'Tucker, John V.', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    Algebraic specifications of computable and semicomputable datatypes

    Algebraic specifications of computable and semicomputable datatypes von Bergsta, Johannes A., Tucker, John V.

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Top-down design and the algebra of communicating processes

    Top-down design and the algebra of communicating processes von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The axiomatic semantics of programs based on Hoare's logic

    The axiomatic semantics of programs based on Hoare's logic von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Hoare's logic for programming languages with two data types

    Hoare's logic for programming languages with two data types von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1982
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Two theorems about the completeness of Hoare's logic

    Two theorems about the completeness of Hoare's logic von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    On bounds for the specification of finite data types by means of equations and conditional equations

    On bounds for the specification of finite data types by means of equations and conditional equations von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification

    A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    On the refinement of specifications and Hoare's logic

    On the refinement of specifications and Hoare's logic von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Computing in algebraic systems

    Computing in algebraic systems von Tucker, John V.

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    On the operational structure of algebraic programming systems

    On the operational structure of algebraic programming systems von Asveld, Peter R., Tucker, John V.

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Completeness of the algebraic specification methods for data types

    Completeness of the algebraic specification methods for data types von Bergsatra, Johannes A., Tucker, John V.

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Algebraic specifications of computable and semicomputable data structures

    Algebraic specifications of computable and semicomputable data structures von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A characterisation of computable data types by means of a finite, equational specification method

    A characterisation of computable data types by means of a finite, equational specification method von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Floyd's principle, correctness theories and program equivalence

    Floyd's principle, correctness theories and program equivalence von Bergstra, Jan A. 1951-, Tiuryn, Jerzy, Tucker, John V.

    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Program correctness over abstract data types, with error-state semantics

    Program correctness over abstract data types, with error-state semantics von Tucker, John V., Zucker, Jeffrey I.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Algebraic specifications of computable and semicomputable datatypes

    Algebraic specifications of computable and semicomputable datatypes von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Hoare's logic and Peano's arithmetic

    Hoare's logic and Peano's arithmetic von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Initial and final algebra semantics for data type specifications two characterisation theorems

    Initial and final algebra semantics for data type specifications two characterisation theorems von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Theory of computation and specification over abstract data types, and its applications [working material for the lectures of John V. Tucker, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]

    Theory of computation and specification over abstract data types, and its applications [working material for the lectures of John V. Tucker, International Summer School on Logic, A... von Tucker, John V.

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Program Correctness over abstract data types, with error-state semantics

    Program Correctness over abstract data types, with error-state semantics von Tucker, John V., Zucker, Jeffery I.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: