Treffer 1 – 8 von 8 für Suche 'Tennent, Robert D.', Suchdauer: 0,04s 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
    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:
  2. 2
    Three proposals for extending Pascal

    Three proposals for extending Pascal von Tennent, Robert D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Denotational semantics of Hoare classes

    Denotational semantics of Hoare classes von Tennent, Robert D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    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:
  5. 5
    Semantical analysis of specification logic

    Semantical analysis of specification logic von Tennent, Robert D.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Grundlagen der Programmiersprachen

    Grundlagen der Programmiersprachen von Tennent, Robert D.

    Veröffentlicht 1982
    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:

Suchwerkzeuge: