Treffer 1 – 4 von 4 für Suche 'Hendriks, P. R.', Suchdauer: 0,02s 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
    Lists and associative functions in algebraic specifications semantics and implementation

    Lists and associative functions in algebraic specifications semantics and implementation von Hendriks, P. R.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Type-checking mini-ML an algebraic specification with user-defined syntax

    Type-checking mini-ML an algebraic specification with user-defined syntax von Hendriks, P. R.

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Lists and associative functions in algebraic specifications semantics and implementation

    Lists and associative functions in algebraic specifications semantics and implementation von Hendriks, P. R.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    ASF system user's guide

    ASF system user's guide von Hendriks, P. R.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: