Título : Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle
Editorial : Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
Fecha de publicación : 18-jun-2010
18-jun-2010
metadata.dc.source.uri: http://hdl.handle.net/2133/3561
URI : http://rodna.bn.gov.ar/jspui/handle/bnmm/568300
Aparece en las colecciones: Universidad Nacional de Rosario. RepHipUNR

Ficheros en este ítem:
No hay ficheros asociados a este ítem.