Teaching Courses
(Contents are in spanish)
Master Program in Software System Engineering and Technology (MITSS, DSIC)
Logic and Algebraic Foundations for Software Engineering
Multiparadigm Programming Lab
Master Program in Software Engineering, Formal Methods and Information Systems
(MISMFSI, DSIC)
Foundations of Automated Software Engineering (MSc 2A)
Agile Technology and Multiparadigm Programming (MSc 2B)
Undergraduate courses (ETSINF)
Programming Languages, Techniques and Paradigms
(Computer Science Degree 2A)
Industrial Formal Methods
(Computer Science Degree 3B)
Postgraduate courses (former PhD)
A Unifying View of Functional and Logic Program Optimization
Dip. di Informatica. U. di Pisa,
July 1998
ELP
GPLIS
DSIC
VRAIN
UPV