Results of search for 'an:247900' › Koha online catalog

Results
	1.	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)
	2.	A survey of verification techniques for parallel programs by Barringer, Howard Series: Lecture notes in computer science ; 191 Material type: Text; Format: large print regular print Publication details: Berlín : , c1985 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 BAR. Place hold Add to cart (remove)
	3.	Méthode générale d'analyse d'une application informatique by Castellani, Xavier Edition: 4e éd. rév. et aug. Material type: Text; Format: large print regular print Publication details: Paris : , 1982 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: K.6.1 CAS . Place hold Add to cart (remove)
	4.	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)
	5.	Verification and validation of real-time software by Sin autor Quirk, W. J Material type: Text; Format: large print regular print Publication details: Berlín : , c1985 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: C.3 QUI . Place hold Add to cart (remove)
	6.	Concurrencia tradicional en programación funcional by Mocciola, Pablo Andrés Baum, Gabriel Alfredo [Director/a] Blanco, Javier [Codirector/a] Material type: Text; Format: large print regular print Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1998. Availability: Items available for reference: Biblioteca Fac.Informática: Consulta en Sala (1)Call number: TES 98/16 . Add to cart (remove)
	7.	TRIO o cómo ahora las tautologías son tautologías y el infinito es infinito by Turquie, Isaac Carlos Felder, Miguel A [Director/a] Material type: Text; Format: large print regular print Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996. Availability: Items available for reference: Biblioteca Fac.Informática: Consulta en Sala (1)Call number: TES 96/12 . Add to cart (remove)
	8.	Obteniendo eficiencia y legibilidad en programas generados automáticamente by Canal, Esteban de la Baum, Gabriel Alfredo [Director/a] Martínez López, Pablo Ernesto [Codirector/a] Material type: Text; Format: large print regular print Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003. Availability: Items available for reference: Biblioteca Fac.Informática: Consulta en Sala (1)Call number: TES 03/07 . Add to cart (remove)
	9.	Verification of sequential and concurrent programs by Apt, Krsysztof R Olderog, Ernst-Rüdiger Series: Graduate texts in computer science Edition: 2nd ed. Material type: Text; Format: large print regular print Publication details: Nueva York : , c1997 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.4 APT . Place hold Add to cart (remove)
	10.	Verificaçao e construçao de programas by Veloso, Paulo A. S Series: Colección EBAI Edition: 1a ed. Material type: Text; Format: large print regular print Publication details: Campinas : UNICAMP, 1986 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.4 VEL . Place hold Add to cart (remove)
	11.	Reasoning about static and dynamic properties in Alloy : A purely relational approach by Frias, Marcelo F Maibaum, Thomas S. E Aguirre, Nazareno M Baum, Gabriel Alfredo López Pombo, Carlos G Series: ^p Datos electrónicos (1 archivo : 412 KB) Material type: Article; Format: large print regular print Publication details: ref_localidad@37940 : , 2005 Online access: Click here to access online Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0079. Place hold Add to cart (remove)
	12.	Program verification by Francez, Nissim Material type: Text; Format: large print regular print Publication details: Cambridge : , 1992 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.4 FRA . Place hold Add to cart (remove)
	13.	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)
	14.	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)
	15.	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: : , 2012 Online access: Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: P12OI401_12E. Place hold Add to cart (remove)
	16.	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)
	17.	Verifying concurrent processes using temporal logic by Hailpern, Brent T Goos, G Hartmanis, J Series: Lecture notes in computer science ; 129 Edition: 1a ed. Material type: Text; Format: large print regular print Publication details: Berlín : Springer, 1982 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.4 HAI . Place hold Add to cart (remove)
	18.	Computabilidad, complejidad computacional y verificación de programas by Rosenfeld, Ricardo Fabián Irazábal, Jerónimo Series: Libros de Cátedra Edition: 1a ed. Material type: Text; Format: large print regular print Publication details: La Plata : Edulp, 2013 Online access: Click here to access online Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1). Place hold Add to cart (remove)
	19.	Leveraging Applications of Formal Methods, Verification and Validation. : Technologies for Mastering Change, Part 1 by Margaria, Tiziana Staab, Steffen Series: Lecture notes in computer science ; 6285 Edition: 1st. ed. Material type: Text; Format: large print regular print Publication details: Berlín : Springer, 2012 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 ISO12. Place hold Add to cart (remove)
	20.	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: : , 2014 Online access: Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: P12OI401_14E . Place hold Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 25 results.