Treffer 1 – 2 von 2 für Suche 'German, Steven M.', 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
    Verifying the absence of common runtime errors in computer programs

    Verifying the absence of common runtime errors in computer programs von German, Steven M.

    Veröffentlicht 1981
    Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A program verifier that generates inductive assertions

    A program verifier that generates inductive assertions von German, Steven M.

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: