| 000 | 00645naa a2200157 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170337.0 | ||
| 008 | 230201nuuuu xx r 000 0 ||| d | ||
| 024 | 8 |
_aDIF-M4608 _b1736 _zDIF004409 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aCastro, Pablo | |
| 245 | 1 | 0 |
_aDarwin : _bUna herramienta para verificar diseños arquitecturales |
| 300 | _ap. 258-262 | ||
| 773 |
_7nnam _aWorkshop de Investigadores en Ciencias de la Computación (8º : 2006 : Morón) - Sin autor - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad de Morón _tWICC 2006 [CD-ROM] _oDIF-02529 |
||
| 942 | _cCP | ||
| 999 |
_c54257 _d54257 |
||