Centro virtual de recursos educativos Karl Marx

Framework para la verificación formal de programas -especificación y corrección :

Forero h, Rafael h

Framework para la verificación formal de programas -especificación y corrección : - 2013

Referencia

TI BT/7123/410/2013/CD-ROM

Universidad INCCA de Colombia - unincca.edu.co
Centro virtual de recursos educativos Karl Marx - prestamo@unincca.edu.co - investigacion@unincca.edu.co
Tel.: (57) 601-390 6223 Ext. 1181
Sede XXX Aniversario - Calle 24 A No. 13-72, Bogotá D.C.
Horario de Atención: Lunes a viernes, de 8:00 a.m. a 5:00 p.m.