Computabilidad, complejidad computacional y verificación de programas

dc.contributor.author	Ricardo Rosenfeld y Jerónimo Irazábal
dc.date.accessioned	2020-06-21T00:38:43Z
dc.date.available	2020-06-21T00:38:43Z
dc.date.issued	2013
dc.identifier.uri	http://190.57.147.202:90/xmlui/handle/123456789/988
dc.language.iso	es	en_US
dc.title	Computabilidad, complejidad computacional y verificación de programas	en_US
dc.type	Book	en_US