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