Your search returned 29 results.

Results
		No cover image available 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; Literary form: Not fiction Publication details: La Plata : Edulp, 2013 Online access: Click here to access online Availability: Items available for loan: Biblioteca de la Facultad de Informática (1). Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (2). Place hold
		No cover image available 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; Literary form: Not fiction Publication details: Berlín : Springer, 2012 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ISO12. Place hold
		No cover image available Teoría de la Computación y Verificación de Programas by Rosenfeld, Ricardo Fabián Material type: Text; Literary form: Not fiction Publication details: 2014 Online access: Click here to access online Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P12OI401_14E. Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1). Place hold
		No cover image available Model checking the behavior of frameworks extended with other frameworks by Balaguer, Federico Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0555.
		No cover image available Fairness by Francez, Nissim Series: Texts and monographs in computer science Edition: 1a ed. Material type: Text; Literary form: Not fiction Publication details: Nueva York : Springer-Verlag, c1986 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 FRA . Place hold
		No cover image available Computabilidad, complejidad computacional y verificación de programas by Rosenfeld, Ricardo Fabián Irazábal, Jerónimo Edition: 1a ed. Material type: Text; Literary form: Not fiction Publication details: La Plata : Edulp, 2013 Availability: Not available: Biblioteca de la Facultad de Informática: Checked out (1). Place hold
		No cover image available Teoría de la Computación y Verificación de Programas by Rosenfeld, Ricardo Fabián Material type: Text; Literary form: Not fiction Publication details: 2019 Online access: Click here to access online 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
		No cover image available Teoría de la Computación y Verificación de Programas Avanzada by Rosenfeld, Ricardo Fabián Material type: Text; Literary form: Not fiction Publication details: 2019 Online access: Click here to access online Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P15F04_19E. Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1). Place hold
		No cover image available Contribuciones a la verificación funcional moderna by Goñi, Oscar Todorovich, Elías [Director/a] Díaz, Francisco Javier [Codirector/a] Material type: Text; Literary form: Not fiction Publication details: 2015 Dissertation note: Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata. Facultad de Informática, 2015. Online access: Click here to access online Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: TES 15/69. Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (2). Place hold