gefundene Verfasser Stansifer, Ryan

Stansifer, Ryan
Loeckx, Jacques
PPPJ '15: Principles and Practices of Programming on the Java Platform
Sieber, Kurt

Treffer 1 - 8 von 8 für Suche 'Stansifer, Ryan', Suchdauer: 0,22s Treffer weiter einschränken
  1. 1
    Representing constructive theories in high-level programming languages

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

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The foundations of program verification

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Presburger's article on integer arithmetic remarks and translation

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Proceedings of the Principles and Practices of Programming on The Java Platform

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

    Veröffentlicht 2015
    UBM01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The study of programming languages

    The study of programming languages von Stansifer, Ryan

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Theorie und Entwicklung von Programmiersprachen eine Einführung

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The study of programming languages

    The study of programming languages von Stansifer, Ryan

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    ML primer

    ML primer von Stansifer, Ryan

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: