Treffer 1 - 4 von 4 für Suche 'Stump, Aaron', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    Verified functional programming in Agda

    Verified functional programming in Agda von Stump, Aaron

    Veröffentlicht 2016
    DE-573
    DE-355
    DE-20
    DE-706
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Programming language foundations

    Programming language foundations von Stump, Aaron

    Veröffentlicht 2014
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Verified functional programming in Agda

    Verified functional programming in Agda von Stump, Aaron

    Veröffentlicht 2016
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Proceedings of the 2007 workshop on Programming languages meets program verification

    Proceedings of the 2007 workshop on Programming languages meets program verification von Stump, Aaron

    Veröffentlicht 2007
    DE-19
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: