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