Especificació dels tipus abstractes de dades fitxer per valor i fitxer seqüencial per valor
This is a work that deals with the equational specification as adt of direct- by-value files.
| Autores: | , |
|---|---|
| Formato: | informe técnico |
| Fecha de publicación: | 1995 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | catalán |
| OAI Identifier: | oai:upcommons.upc.edu:2117/369151 |
| Acesso em linha: | https://hdl.handle.net/2117/369151 |
| Access Level: | acceso abierto |
| Palavra-chave: | Computer files Fitxers informàtics Àrees temàtiques de la UPC::Informàtica |
| Resumo: | This is a work that deals with the equational specification as adt of direct- by-value files. |
|---|