Your search returned 9 results.

Results
	1.	The design of well-structured and correct programs by Alagic, Suad Arbib, Michael A Series: Texts and monographs in computer science Edition: 2nd corr. print. Material type: Text; Format: large print regular print Publication details: Nueva York : , c1978 Availability: Items available for loan: Biblioteca Fac.Informática (2)Call number: D.1 ALA , ... Place hold Add to cart (remove)
	2.	Métodos formais para o desenvolvimento de programas by Alencar, Paulo S. C. de Lucena, Carlos J. P. de Series: Colección EBAI Edition: Ed. prelim. Material type: Text; Format: large print regular print Publication details: Buenos Aires : Kapelusz, 1988 Availability: Items available for loan: Biblioteca Fac.Informática (2)Call number: D.2.4 ALE , ... Place hold Add to cart (remove)
	3.	Programming languages theory and its implementation : applicative and imperative paradigms by Gordon, Michael J.C Series: Prentice Hall International series in computer science Edition: 1st ed. Material type: Text; Format: large print regular print Publication details: Nueva York : , 1988 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.3.1 GOR . Place hold Add to cart (remove)
	4.	An axiomatic basis for proving total correctness of goto-programs by Wang, Arne Material type: Article; Format: large print regular print Publication details: ref_localidad@NULL : , 1976 Online access: Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0087. Place hold Add to cart (remove)
	5.	A framework for execution of secure mobile code based on static analysis by Nordio, Martín Bavera, Francisco Aguirre, Jorge Alberto Medel, Ricardo H Baum, Gabriel Alfredo Series: ^p Datos electrónicos (1 archivo : 355 KB) Material type: Article; Format: large print regular print Publication details: ref_localidad@37940 : , 2004 Online access: Click here to access online Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0109. Place hold Add to cart (remove)
	6.	Teoría de la computación y verificación de programas by Rosenfeld, Ricardo Fabián Irazábal, Jerónimo Series: Facultad de Informática-U.N.L.P Edition: 1a ed. Material type: Text; Format: large print regular print Publication details: La Plata : , 2010 Availability: Items available for loan: Biblioteca Fac.Informática (18)Call number: D.2.4 ROS , ... Items available for reference: Biblioteca Fac.Informática: Consulta en Sala (1)Call number: D.2.4 ROS . Not available: Biblioteca Fac.Informática: Lost (1). Place hold Add to cart (remove)
	7.	Teoría de la Computación y Verificación de Programas by Rosenfeld, Ricardo Fabián Material type: Text; Format: large print regular print Publication details: : , 2018 Online access: Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: P15OI401_18E. Place hold Add to cart (remove)
	8.	Teoría de la Computación y Verificación de Programas by Rosenfeld, Ricardo Fabián Material type: Text; Format: large print regular print Publication details: : , 2010 Online access: Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: P07F04_10E. Place hold Add to cart (remove)
	9.	Teoría de la Computación y Verificación de Programas by Rosenfeld, Ricardo Fabián Material type: Text; Format: large print regular print Publication details: : , 2019 Online access: Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: P15OI401_19E. Place hold Add to cart (remove)

Powered by Koha