Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
Un modelo semántico de procesos basados en la duración by
Material type: Text Text; Literary form: Not fiction
Publication details: 1997
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata, Facultad de Ciencias Exactas, 1997.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 97/09 .

Una posible semántica operacional de alto nivel para lenguajes de generación de contenido dinámico en el contexto de aplicaciones web by
Material type: Text Text; Literary form: Not fiction
Publication details: 2001
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata, Facultad de Informática, 2001.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 01/13 .

Teoría de la Computación y Verificación de Programas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2018
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P15OI401_18E. Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1).

Place hold
Teoría de la Computación y Verificación de Programas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2019
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P15OI401_19E. Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1).

Place hold
Complementary definitions of programming language semantics by Series: Lecture notes in computer science ; 42
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 1976
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.3.1 DON.

Place hold
Pages