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