Este diretório contém uma cópia do livro "Desenvolvendo Programas com
Correção - Uma introdução teórica e prática", do Fabiano S. Oliveira.
O original está aqui:

  https://fabianooliveira.ime.uerj.br/lecture-notes
  https://drive.google.com/file/d/1Fn6ng3KOxn-gMciIiIlWqcvEgO_wOpog/view

Eu tive que fazer uma cópia dele fora do Google Drive porque os links
pra PDFs no Google Drive não aceitam o "#page=nnn" no final. Se você
estiver usando um browser num computador o primeiro link abaixo vai
abrir o PDF e pular pra página 17, e o segundo vai abrir o PDF na
página 1:

  http://anggtwu.net/fsoliveira/dpcc.pdf#page=17
  https://drive.google.com/file/d/1Fn6ng3KOxn-gMciIiIlWqcvEgO_wOpog/view#page=17

Em celulares esses "#page=nnn"s não funcionam. Veja aqui:

  http://anggtwu.net/2023-links-curtos.html#celular