Treffer 1 – 14 von 14 für Suche 'Tennent, Robert', Suchdauer: 0,07s 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
    Grundlagen der Programmiersprachen

    Grundlagen der Programmiersprachen von Tennent, Robert

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  2. 2
    Elementary data structures in Algol-like languages

    Elementary data structures in Algol-like languages von Tennent, Robert D.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Three proposals for extending Pascal

    Three proposals for extending Pascal von Tennent, Robert D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Denotational semantics of Hoare classes

    Denotational semantics of Hoare classes von Tennent, Robert D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Specifying software a hands-on introduction

    Specifying software a hands-on introduction von Tennent, Robert

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Principles of programming languages

    Principles of programming languages von Tennent, Robert

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Semantics of interference control

    Semantics of interference control von Tennent, Robert D.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Principles of programming languages

    Principles of programming languages von Tennent, Robert D.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Mathematical semantics and design of programming languages

    Mathematical semantics and design of programming languages von Tennent, Robert

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Relational parametricity and local variables (Preliminary report)

    Relational parametricity and local variables (Preliminary report) von O'Hearn, P. W., Tennent, Robert D.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Semantics of programming languages

    Semantics of programming languages von Tennent, Robert

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Semantical analysis of specification logic

    Semantical analysis of specification logic von Tennent, Robert D.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Grundlagen der Programmiersprachen

    Grundlagen der Programmiersprachen von Tennent, Robert D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Principles of programming languages

    Principles of programming languages von Tennent, Robert

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: