Suchergebnisse - Sieber, Kurt

Kurt Sieber

Kurt Sieber (* 20. Juni 1936 in Eger, Tschechoslowakei) ist ein deutscher Politiker (FDP). Veröffentlicht in Wikipedia
  • Treffer 1 – 11 von 11
Treffer filtern
  1. 1
    Buchumschlag

    The foundations of program verification
    von Loeckx, Jacques, Sieber, Kurt

    Veröffentlicht 1987
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The foundations of program verification
    von Loeckx, Jacques, Sieber, Kurt, Stansifer, Ryan

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    A new Hoare-calculus for programs with recursive parameterless procedures
    von Sieber, Kurt

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Relative completeness of a Hoare-calculus for while-programs
    von Sieber, Kurt

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Full abstraction for the second order subset of an ALGOL-like language
    von Sieber, Kurt

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Full abstraction for the second order subset of an ALGOL-like language: preliminary report
    von Sieber, Kurt

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    In den Gärkammern reift jetzt Kreativität: das Königsberger Brauhaus wird zum Kunsthandwerkerhof
    von Sieber, Kurt

    Veröffentlicht 1997
    Paper


    Gespeichert in:
  8. 8
    Buchumschlag

    Jubiläums-Ausgabe der Theatergemeinden-Information: Ingolstadt, 25. Oktober 1990 ; unser 25. Geburtstag
    von Sieber, Kurt

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Towards fully abstract semantics for local variables: preliminary report
    von Meyer, Albert R., Sieber, Kurt

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Begegnung mit sächsisch-coburgischer Vergangenheit: ein Gewinn für Königsberg war der Anschluß an Bayern nicht
    von Sieber, Kurt

    Veröffentlicht 1995
    Paper


    Gespeichert in:
  11. 11
    Buchumschlag

    Die "Modale Logik der Prozeduren": e. Erweiterung d. Hoare-Logik, die es ermöglicht, Korrektheitsbeweise im Sinne d. "stepwise refinement" zu führen
    von Sieber, Kurt

    Veröffentlicht 1984
    Hochschulschrift/Dissertation Buch


    Gespeichert in:

Suchwerkzeuge: