Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP. Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.
\begin{now}
Discover why 18 million people worldwide trust Overleaf with their work.
Sign up for freeExplore all plans
Have you checked our knowledge base?
Solicitud enviada, gracias.
Email: