Software Foundations
Série de Livros
por Leonidas Lampropoulos
Mais Recente:
2017
Livro 1
Software Foundations, Volume 1: Logical Foundations
por Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Livro 2
Software Foundations, Volume 2: Programming Language Foundations
por Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Livro 3
Software Foundations, Volume 3: Verified Functional Algorithms
por Andrew W. Appel
Livro 4
Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq
por Leonidas Lampropoulos, Benjamin C. Pierce