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