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