Showing 1 - 4 results of 4 for search 'Stump, Aaron', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Verified functional programming in Agda

    Verified functional programming in Agda by Stump, Aaron

    Published 2016
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Verified functional programming in Agda

    Verified functional programming in Agda by Stump, Aaron

    Published 2016
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Proceedings of the 2007 workshop on Programming languages meets program verification

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

    Published 2007
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Programming language foundations

    Programming language foundations by Stump, Aaron

    Published 2014
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: