| 000 | 00655naa a2200169 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20240131170753.0 | ||
| 007 | ta | ||
| 008 | 230201nuuuu xx dr 000 0 ||| d | ||
| 024 | 8 | _aDIF004398 | |
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 |
_aCastro, Pablo _9255059 |
|
| 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 |
_c846490 _d846490 |
||