Treffer 1 – 11 von 11 für Suche 'Olthoff, Walter', 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
    Qualitätssicherung durch Programmverikfikation und algebraische Methoden in der Softwareentwicklung

    Qualitätssicherung durch Programmverikfikation und algebraische Methoden in der Softwareentwicklung von Beierle, Christoph 1954-, Olthoff, Walter, Voss, Angelika

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The connection between applicative and procedural languages in an integrated software development and verification system

    The connection between applicative and procedural languages in an integrated software development and verification system von Olthoff, Walter

    Veröffentlicht 1987
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    On a connection between procedural and applicative languages

    On a connection between procedural and applicative languages von Olthoff, Walter

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    ModPascal report

    ModPascal report von Olthoff, Walter

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    APE e. Expertensystem zur automat. Programmierung von abstrakten Spezifikationen von Datentypen u. Algorithmen

    APE e. Expertensystem zur automat. Programmierung von abstrakten Spezifikationen von Datentypen u. Algorithmen von Bartels, Ulrich, Olthoff, Walter

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The connection between applicative procedural languages in an integrated software development and verification system

    The connection between applicative procedural languages in an integrated software development and verification system von Olthoff, Walter

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The connection between applicative and procedural languages in an integrated software development and verification system

    The connection between applicative and procedural languages in an integrated software development and verification system von Olthoff, Walter

    Veröffentlicht 1987
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The augmentation of object-oriented programming by concepts of abstract data type theory the ModPascal experience

    The augmentation of object-oriented programming by concepts of abstract data type theory the ModPascal experience von Olthoff, Walter

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    APE an expert system for automatic programming from abstract specifications of data types and algorithms

    APE an expert system for automatic programming from abstract specifications of data types and algorithms von Bartels, Ulrich, Olthoff, Walter, Raulefs, Peter 1945-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The connection between applicative and procedural languages

    The connection between applicative and procedural languages von Olthoff, Walter

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    ModPascal-Report

    ModPascal-Report von Olthoff, Walter

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: