Software Foundations
Buchreihe
von Leonidas Lampropoulos
Neueste:
2017
Buch 1
Software Foundations, Volume 1: Logical Foundations
von Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Buch 2
Software Foundations, Volume 2: Programming Language Foundations
von Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Buch 3
Software Foundations, Volume 3: Verified Functional Algorithms
von Andrew W. Appel
Buch 4
Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq
von Leonidas Lampropoulos, Benjamin C. Pierce