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