|
|
|
|
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
|