The road to your goals is in your pocket! Download the Oter App to continue reading your Microbooks from anywhere, anytime.
About the book
Representation and reasoning; Logic programs; Programming style; Data structures; Program verification; Formal program synthesis; Implementation; Broader contributions to computing.
Launch app to listen to the highlights
Open in app
Now you can listen to your microbooks on-the-go. Download the Oter App on your mobile device and continue making progress towards your goals, no matter where you are.
