Browse editions

Current edition
Software Foundations, Volume 1: Logical Foundations by Marco Gaboardi, Arthur Azevedo de Amorim, Cătălin Hriţcu, Vilhelm Sjöberg, Michael Greenberg, Benjamin C. Pierce, Chris Casinghino, Brent Yorgey

Software Foundations, Volume 1: Logical Foundations

Software Foundations #1

Marco Gaboardi, Arthur Azevedo de Amorim, Cătălin Hriţcu, Vilhelm Sjöberg, Michael Greenberg, Benjamin C. Pierce, Chris Casinghino, Brent Yorgey

325 pages • first pub 2017 (editions)

computer science informative slow-paced
Other editions (0)