|
|
|
|
| LEADER |
00810nam a22003130a 4500 |
| 001 |
PT9219 |
| 003 |
AR-LpoUNG |
| 005 |
20210131232346.0 |
| 008 |
191001s1999||||xxu|||||||||||||||||eng d |
| 020 |
|
|
|a 0262032708
|c $75
|
| 040 |
|
|
|a AR-LpoUNG
|b spa
|c AR-LpoUNG
|e aacr
|
| 041 |
|
|
|a eng
|
| 044 |
|
|
|a xxu
|
| 082 |
0 |
|
|a 004.2 592mod
|
| 100 |
1 |
|
|a Clarke, Edmund M., Jr.
|
| 245 |
1 |
0 |
|a Model checking
|
| 260 |
|
|
|a Massachusetts :
|b MIT Press,
|c 1999.
|
| 300 |
|
|
|a xiv, 314 p. :
|b gráfs.
|
| 650 |
|
4 |
|a ANALISIS DE SISTEMAS
|
| 650 |
|
4 |
|a AUTOMATIZACION
|
| 650 |
|
4 |
|a COMPUTACION
|
| 650 |
|
4 |
|a INFORMATICA
|
| 650 |
|
4 |
|a PROGRAMAS DE COMPUTADORA
|
| 651 |
|
4 |
|a DOCUMENTOS TEORICOS O METODOLOGICOS
|
| 700 |
1 |
|
|a Grumberg, Orna
|
| 700 |
1 |
|
|a Peled, Doron A.
|
| 905 |
|
|
|a 9219
|
| 942 |
|
|
|c LIB
|
| 999 |
|
|
|c 15154
|d 15154
|