| 000 | 00700naa a2200169 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20240131183050.0 | ||
| 007 | ta | ||
| 008 | 230201nuuuu xx dr 000 0 ||| d | ||
| 024 | 8 | _aDIF004792 | |
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 |
_aAranda, Gabriela Noemí _9255745 |
|
| 245 | 1 | 0 | _aTool support for verifying applications using object-oriented patterns |
| 300 | _ap. 253-257 | ||
| 773 |
_7nnam _aWorkshop de Investigadores en Ciencias de la Computación (5º : 2003 : Tandil) - Universidad Nacional del Centro de la Provincia de Buenos Aires - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) _tWICC 2003 [CD-ROM] _oDIF-02526 |
||
| 942 | _cCP | ||
| 999 |
_c846884 _d846884 |
||