La Semántica Axiomática de los Lenguajes de Programación
RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia
JavaScript is disabled for your browser. Some features of this site may not work without it.
Buscar en RiuNet
Listar
Mi cuenta
Estadísticas
Ayuda RiuNet
Admin. UPV
La Semántica Axiomática de los Lenguajes de Programación
Mostrar el registro completo del ítem
Silva Galiana, JF. (2020). La Semántica Axiomática de los Lenguajes de Programación. http://hdl.handle.net/10251/145772
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/145772
Visor de vídeos
Metadatos del ítem
| Título: | La Semántica Axiomática de los Lenguajes de Programación | |
| Autor: |
Silva Galiana, Josep Francesc
|
|
| Entidad UPV: |
|
|
| Fecha difusión: |
|
|
| Resumen: |
Este objeto de aprendizaje define la semántica axiomática de los lenguajes de programación. Explica para qué sirve esa semántica y muestra un ejemplo de semántica operacional real (para un lenguaje imperativo simple). ...[+]
|
|
| Palabras clave: |
|
|
| Código UNESCO: |
|
|
| Derechos de uso: | Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) | |
| Editorial: |
|
|
| Tipo: |
|
|
| URL: | https://polimedia.upv.es/visor/?id=2f14b4a0-a5f8-11ea-a55e-2790bf869373 | |
| Tipo de recurso educativo: |
|
|
| Descripción acerca del uso: |
|
|
| Destinatario: |
|
|
| Contexto: |
|
|
| Dificultad: |
|
|
| Nivel de interactividad: |
|
|
| Densidad semántica: |
|
|
| Tiempo típico: |
|
|
| Idioma del destinatario: |
|
|
| Permiso de acceso: |
|
recommendations
Este ítem aparece en la(s) siguiente(s) colección(ones)
Universitat Politècnica de València. Unidad de Documentación Científica de la Biblioteca (+34) 96 387 70 85 · RiuNet@bib.upv.es
El contenido de este sitio está bajo una licencia Creative Commons Reconocimiento – No Comercial – Sin Obra Derivada (by-nc-nd), salvo que se indique lo contrario.
Los metadatos de este sitio están bajo una licencia Dominio Público.
