Treffer 1 – 10 von 10 für Suche 'Backhouse, Roland C.', 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:
  7. 7
    Specification and proof of a regular language recogniser in synchronous CCS

    Specification and proof of a regular language recogniser in synchronous CCS von Backhouse, Roland C.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Syntax of programming languages theory and practice

    Syntax of programming languages theory and practice von Backhouse, Roland C.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Datatype-generic programming International Spring School, SSDGP 2006, Nottingham, UK, April 24 - 27, 2006 ; revised lectures

    Datatype-generic programming International Spring School, SSDGP 2006, Nottingham, UK, April 24 - 27, 2006 ; revised lectures

    Veröffentlicht 2007
    Weitere Verfasser: “… Backhouse, Roland C. …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Datatype-generic programming International Spring School, SSDGP 2006, Nottingham, UK, April 24 - 27, 2006 ; revised lectures

    Datatype-generic programming International Spring School, SSDGP 2006, Nottingham, UK, April 24 - 27, 2006 ; revised lectures

    Veröffentlicht 2007
    Weitere Verfasser: “… Backhouse, Roland C. …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: