Software Foundations
书籍系列
由 Leonidas Lampropoulos
最新的:
2017
书籍 1
Software Foundations, Volume 1: Logical Foundations
由 Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
书籍 2
Software Foundations, Volume 2: Programming Language Foundations
由 Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
书籍 3
Software Foundations, Volume 3: Verified Functional Algorithms
由 Andrew W. Appel
书籍 4
Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq
由 Leonidas Lampropoulos, Benjamin C. Pierce