Software Foundations
Serie książek
przez Leonidas Lampropoulos
Najnowsze:
2017
Książka 1
Software Foundations, Volume 1: Logical Foundations
przez Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Książka 2
Software Foundations, Volume 2: Programming Language Foundations
przez Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Książka 3
Software Foundations, Volume 3: Verified Functional Algorithms
przez Andrew W. Appel
Książka 4
Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq
przez Leonidas Lampropoulos, Benjamin C. Pierce