Suchergebnisse - Stansifer, Ryan

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Presburger's article on integer arithmetic: remarks and translation
    von Stansifer, Ryan

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    The study of programming languages
    von Stansifer, Ryan

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Theorie und Entwicklung von Programmiersprachen: eine Einführung
    von Stansifer, Ryan

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Proceedings of the Principles and Practices of Programming on The Java Platform
    von Stansifer, Ryan

    Veröffentlicht 2015
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Representing constructive theories in high-level programming languages
    von Stansifer, Ryan

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    The study of programming languages
    von Stansifer, Ryan

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    ML primer
    von Stansifer, Ryan

    Veröffentlicht 1992
    Buch


    Gespeichert in:

Suchwerkzeuge: