Treffer 1 - 5 von 5 für Suche 'Gordon, Andrew D. 1964-', Suchdauer: 1,34s Treffer weiter einschränken
  1. 1
    Functional programming and input - output

    Functional programming and input - output von Gordon, Andrew D. 1964-

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A mechanised definition of Silage in Hol

    A mechanised definition of Silage in Hol von Gordon, Andrew D. 1964-

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Functional programming and input - output

    Functional programming and input - output von Gordon, Andrew D. 1964-

    Veröffentlicht 1994
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings

    Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Soft...

    Veröffentlicht 2003
    Weitere Verfasser: “… Gordon, Andrew D. 1964- …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    POPL'17 proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France

    POPL'17 proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France

    Veröffentlicht 2017
    Weitere Verfasser:
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: