Top Retellings of Classic Tales

Software Foundations Series

4 primary works • 4 total works

Book 1

Software Foundations, Volume 1: Logical Foundations
by
4.76 · 25 Ratings · 6 Reviews · 1 edition
The Software Foundations series is a broad introdu…

Shelve Software Foundations, Volume 1: Logical Foundations

    • Rate it:

    Book 2

    Software Foundations, Volume 2: Programming Language Foundations
    by
    4.09     · 11 Ratings · 1 Reviews · 2 editions
    The Software Foundations series is a broad introdu…

    Shelve Software Foundations, Volume 2: Programming Language Foundations

    • Rate it:

    Book 3

    Software Foundations, Volume 3: Verified Functional Algorithms
    by
    3.50     · 2 Ratings · 2 editions
    The Software Foundations series is a broad introdu…

    Shelve Software Foundations, Volume 3: Verified Functional Algorithms

    • Rate it:

    Book 4

    Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
    by
    2.00     · 1 Ratings · 2 editions
    The Software Foundations series is a broad introdu…

    Shelve Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq

    • Rate it: