|
|
|
|
| LEADER |
01589cam a22004577a 4500 |
| 001 |
BIBLO-38709 |
| 003 |
AR-BaUEN |
| 005 |
20230712155000.0 |
| 008 |
071101s2006 ag ||||f m||| 00| 0|spa|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 084 |
|
|
|a COM 000302
|
| 100 |
1 |
|
|a Rosner, Nicolás
|4 aut
|e autor
|
| 245 |
1 |
0 |
|a ParAlloy una implementación paralelay distribuida para DynAlloy
|
| 300 |
|
|
|a 64 h. :
|
| 502 |
|
|
|b Licenciado en Ciencias de la Computación
|c Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
|d 2006
|
| 506 |
|
|
|2 openaire
|
| 518 |
|
|
|o Fecha de publicación en la Biblioteca Digital FCEN-UBA
|
| 540 |
|
|
|2 cc
|f https://creativecommons.org/licenses/by-nc-sa/2.5/ar
|
| 562 |
|
|
|e 1 ej.
|
| 653 |
1 |
0 |
|a ALLOY
|
| 653 |
1 |
0 |
|a DYNALLOY
|
| 653 |
1 |
0 |
|a PARALLOY
|
| 653 |
1 |
0 |
|a VERIFICACION DE PROPIEDADES
|
| 653 |
1 |
0 |
|a DEMOSTRACION (SEMI) AUTOMATICA DE TEOREMAS
|
| 653 |
1 |
0 |
|a METODOS FORMALES (RELACIONALES)
|
| 653 |
1 |
0 |
|a SISTEMAS DISTRIBUIDOS
|
| 653 |
1 |
0 |
|a PROGRAMACION PARALELA
|
| 653 |
1 |
0 |
|a JINI
|
| 653 |
1 |
0 |
|a JAVASPACES
|
| 691 |
|
7 |
|2 fcen-at
|a computacion
|
| 700 |
1 |
|
|a Frias, Marcelo Fabián
|4 ths
|e dir
|
| 700 |
1 |
|
|a López Pombo, Carlos
|4 ths
|e dir
|
| 856 |
4 |
|
|q application/pdf
|
| 901 |
|
|
|a BIBLO
|b 00038782
|o ROSANA
|n 56678
|q Lucía Bongiovanni
|
| 931 |
|
|
|a DC
|
| 942 |
|
|
|2 z
|n 0
|c TFL
|
| 961 |
|
|
|a seminario_nCOM000302_Rosner
|c PR
|b seminario
|e ND
|
| 962 |
|
|
|a info:ar-repo/semantics/tesis de grado
|a info:eu-repo/semantics/bachelorThesis
|b info:eu-repo/semantics/publishedVersion
|
| 976 |
|
|
|a AEX
|
| 997 |
|
|
|a TESIS
|
| 999 |
|
|
|c 46134
|d 46134
|