1
Publicado 2010
Tabla de Contenidos: ... -- Unifying Recursion in Partial, Total and General Correctness -- Halting Still Standing – Programs versus...
Enlace del recurso
Electrónico eBook
2
Publicado 2007
Tabla de Contenidos: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Enlace del recurso
Electrónico eBook