CS393. Métodos Formales (Obligatorio) 9no Sem, Lab: 2 hr(s)

Laboratorio Avanzado: 30 PCs: Procesador: AMD Phenom X3 - 8650 - 2.30 Ghz, Memoria: 3 GB RAM DDR2, Disco Duro: 320 Gb, Mainboard: ASUS Socket AM2+ M2N-VM-HDMI NVIDIA GeForce 7050PV (cuenta con slot PCI-Express), Lector DVD, Monitor LCD 17"
Sistemas Operativos: Linux/Windows
Lenguajes de Programación: C++, Perl, Python
Software: Rational Rose con WAE, J2EE, Mathlab, Emuladores 8088, DB2, MONO, Plataforma .NET, LEDA, VTK



Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de IEEE-CS/ACM