Your search returned 9 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
The design of well-structured and correct programs by Series: Texts and monographs in computer science
Edition: 2nd corr. print. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : [S.n.], c1978
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: D.1 ALA , ...

Place hold
Métodos formais para o desenvolvimento de programas by Series: Colección EBAI
Edition: Ed. prelim. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Buenos Aires : Kapelusz, 1988
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 ALE .

Place hold
Programming languages theory and its implementation : applicative and imperative paradigms by Series: Prentice Hall International series in computer science
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : [S.n.], 1988
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.3.1 GOR .

Place hold
An axiomatic basis for proving total correctness of goto-programs by
Material type: Article Article; Literary form: Not fiction
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0087.

A framework for execution of secure mobile code based on static analysis by Series: ^p Datos electrónicos (1 archivo : 355 KB)
Material type: Article Article; Literary form: Not fiction
Online access:
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0109.

Teoría de la computación y verificación de programas by Series: Facultad de Informática-U.N.L.P
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: La Plata : [S.n.], 2010
Availability: Items available for loan: Biblioteca de la Facultad de Informática (15)Call number: D.2.4 ROS , ... Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: D.2.4 ROS . Not available: Biblioteca de la Facultad de Informática: Checked out (3).

Place hold
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: 2010
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P07F04_10E. 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
Pages