Treffer 1 – 6 von 6 für Suche 'Bates, Joseph L.', 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
    The nearly ultimate PEARL

    The nearly ultimate PEARL von Constable, Robert Lee 1952-, Bates, Joseph L.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proofs as programs

    Proofs as programs von Bates, Joseph L., Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A logic for correct program development

    A logic for correct program development von Bates, Joseph L.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The definition of myprl

    The definition of myprl von Bates, Joseph L., onstable, Robert L.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A logic for correct program development

    A logic for correct program development von Bates, Joseph L.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A logic for correct program development

    A logic for correct program development von Bates, Joseph L.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: