Results
|
|
|
|
|
|
|
|
|
|
|
Méthode générale d'analyse d'une application informatique by
Edition: 4e éd. rév. et aug. ed.
Material type:  Text; Literary form:
Not fiction
Publication details: Paris : [S.n.], 1982
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: K.6.1 CAS .
|
|
|
|
|
|
|
|
|
|
|
|
Verification and validation of real-time software by
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 .
|
|
|
|
Concurrencia tradicional en programación funcional by
Material type: Text; Literary form:
Not fiction
Publication details: 1998
Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1998.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 98/16 .
|
|
|
|
TRIO o cómo ahora las tautologías son tautologías y el infinito es infinito by
Material type: Text; Literary form:
Not fiction
Publication details: 1996
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 96/12 .
|
|
|
|
Obteniendo eficiencia y legibilidad en programas generados automáticamente by
Material type: Text; Literary form:
Not fiction
Publication details: 2003
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 03/07 .
|
|
|
|
|
|
|
|
Verificaçao e construçao de programas by Series: Colección EBAI
Edition: 1a ed.
Material type: Text; Literary form:
Not fiction
Publication details: Campinas : UNICAMP, 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 VEL .
|
|
|
|
|
|
|
|
Program verification by
Material type: Text; Literary form:
Not fiction
Publication details: Cambridge : [S.n.], 1992
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 FRA .
|
|
|
|
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; 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).
|
|
|
|
Teoría de la Computación y Verificación de Programas by
Material type: Text; Literary form:
Not fiction
Publication details: 2018
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P15OI401_18E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
|
|
|
|
Teoría de la Computación y Verificación de Programas by
Material type: Text; Literary form:
Not fiction
Publication details: 2012
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P12OI401_12E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
|
|
|
|
Sistema de reconocimiento biométrico en ambientes de alta seguridad by
Material type: Text; Literary form:
Not fiction
Publication details: 2011
Dissertation note: Tesina (Licenciatura en Sistemas) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 11/26 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
|
|
|
|
Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML by
Material type: Text; Literary form:
Not fiction
Publication details: 2011
Dissertation note: Tesina (Licenciatura en Sistemas, Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 11/28. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
|
|
|
|
Teoría de la Computación y Verificación de Programas by
Material type: Text; Literary form:
Not fiction
Publication details: 2010
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).
|
|
|
|
|