Software Foundations
Séries de livres
par Leonidas Lampropoulos
Dernier:
2017
Livre 1
Software Foundations, Volume 1: Logical Foundations
par Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Livre 2
Software Foundations, Volume 2: Programming Language Foundations
par Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Livre 3
Software Foundations, Volume 3: Verified Functional Algorithms
par Andrew W. Appel
Livre 4
Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq
par Leonidas Lampropoulos, Benjamin C. Pierce