Linguaggi e Modelli Computazionali L-S 2008/2009

Main

Schedule

Projects

Description Date Room Time

Introduction/Models Mon, 21/9 V2 14-16

ADTs and Maude Wed, 23/9 V2 11-13

Lab-Maude Fri, 30/9 LELE 14-17

Software:   tuProlog 2.2(beta)