Treffer 1 – 6 von 6 für Suche 'Backhouse, Roland C. 1948-', Suchdauer: 0,05s 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
    Programmkonstruktion und Verifikation

    Programmkonstruktion und Verifikation von Backhouse, Roland C. 1948-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Program construction calculating implementations from specifications

    Program construction calculating implementations from specifications von Backhouse, Roland C. 1948-

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Program construction and verification

    Program construction and verification von Backhouse, Roland C. 1948-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Program construction and verification

    Program construction and verification von Backhouse, Roland C. 1948-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Programmkonstruktion und Verifikation

    Programmkonstruktion und Verifikation von Backhouse, Roland C. 1948-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Program Construction and verification

    Program Construction and verification von Backhouse, Roland C. 1948-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: