Skip to main content

Paca

Home
More

English ‎(en)‎

English ‎(en)‎ Português - Brasil ‎(pt_br)‎

Log in

Semestres anteriores
Summary

Course info

MAC0239 -- Métodos Formais

Lógica Clássica Proposicional
Lógica Clássica de Primeira Ordem
Verificação de Programas

Professor: Marcelo Finger

You are not logged in. (Log in)

Data retention summary

Get the mobile app

Powered by Moodle