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