Skip to main content

Paca

Home
More

English ‎(en)‎

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

You are currently using guest access

Log in

Semestres anteriores
Enrolment options

MAC0239 -- Métodos Formais

Enrolment options

MAC0239 -- Métodos Formais

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

Professor: Marcelo Finger

Self enrolment (Student)

Self enrolment (Student)

Self enrolment (Student)

Guests cannot access this course. Please log in.

You are currently using guest access (Log in)

Data retention summary

Get the mobile app

Powered by Moodle