Your search returned 8 results.

Results
		Advanced transaction models and architectures by Jajodia, Sushil [Editor/a] Kerschberg, Larry [Editor/a] Material type: Text; Literary form: Not fiction Publication details: Boston : Kluwer Academic Publishers, c1997 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 ADV . Place hold
		Handbook of software reliability engineering by Sin autor Lyu, Michael R [Editor/a] Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Nueva York : McGraw-Hill, c1996 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 HAN . Place hold
		Software reliability : principles and practice by Myers, Glenford J Series: Business data processing Material type: Text; Literary form: Not fiction Publication details: Nueva York : [S.n.], c1976 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 MYE . Place hold
		Verification and validation of real-time software by Sin autor Quirk, W. J Material type: Text; Literary form: Not fiction Publication details: Berlín : [S.n.], c1985 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: C.3 QUI . Place hold
		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; 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 Rosenfeld, Ricardo Fabián Material type: Text; Literary form: Not fiction Publication details: 2010 Online access: Click here to access online Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P07F04_10E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1). Place hold
		SMCV : a methodology for detecting transient faults in multicore clusters by Montezanti, Diego Miguel Frati, Fernando Emmanuel Rexachs, Dolores Isabel Luque, Emilio Naiouf, Ricardo Marcelo De Giusti, Armando Eduardo Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		SEDAR : detección y recuperación automática de fallos transitorios en sistemas de cómputo de altas prestaciones by Montezanti, Diego Miguel De Giusti, Armando Eduardo [Director/a] Naiouf, Ricardo Marcelo [Codirector/a] Rexachs, Dolores Isabel [Director/a] Luque, Emilio [Codirector/a] Material type: Text; Literary form: Not fiction Publication details: 2020 Dissertation note: Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata. Facultad de Informática, 2020. Online access: Click here to access online Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: TES 20/02. Not available: Biblioteca de la Facultad de Informática: No corresponde (3). Place hold