Últimos anúncios

Exercises for labs week 14 -- 18 Oct

12 Outubro 2019, 21:55 Jan Gunnar Cederquist

Solve the exercises

  • A.2.1 (Telephone Switch) 
  • A.2.3 (Inmate Assignment) 
from the book "Software Abstractions: Logic, Language, and Analysis" by D.J.


Exercises for labs week 7 -- 11 Oct

5 Outubro 2019, 00:08


Exercises for labs week 30 Sept -- 4 Oct

27 Setembro 2019, 10:22


Exercises for labs week 23 -- 27 Sept

20 Setembro 2019, 11:10


Welcome, registration and labs

8 Setembro 2019, 13:54

Corpo Docente

Jan Gunnar Cederquist

Responsável

jan.cederquist@tecnico.ulisboa.pt