tonightbooks

Sign in

Filters

Free to readBorrow freeFictionRomanceMysteryFantasyBusinessSelf-helpAdventureHistorySciencePoetryPsychologyCookingHorrorThrillerClassicsGentle

en

Decision Procedures

Daniel Kroening · 2008

322 pages · ~8h read

art · philosophy

en

Computer Aided Verification

Daniel Kroening · 2015

582 pages · ~15h read

philosophy · science