Software Foundations
Boekenserie
door Leonidas Lampropoulos
Laatste:
2017
Boek 1
Software Foundations, Volume 1: Logical Foundations
door Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Boek 2
Software Foundations, Volume 2: Programming Language Foundations
door Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Boek 3
Software Foundations, Volume 3: Verified Functional Algorithms
door Andrew W. Appel
Boek 4
Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq
door Leonidas Lampropoulos, Benjamin C. Pierce