|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
AR_CdUFM |
| 005 |
20170703144444.0 |
| 008 |
110509s1996 gw||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 3540614745
|
| 040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
| 111 |
2 |
|
|a CAV (Conference)
|n (8º :
|d 1996 :
|c New Brunswick, N.J.)
|
| 245 |
1 |
0 |
|a Computer aided verification /
|c ed. Rajeev Alur, Thomas A. Henzinger.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 1996.
|
| 300 |
|
|
|a 472 p.
|
| 490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1102
|
| 490 |
0 |
|
|a LNCS ;
|v v. 1102
|
| 650 |
|
4 |
|a Lógica y significado de programas.
|
| 650 |
|
4 |
|a Logics and meanings of programs.
|
| 650 |
|
4 |
|a Sistemas con propósito y aplicaciones especiales.
|
| 650 |
|
4 |
|a Special-purpose and application based systems.
|
| 650 |
|
4 |
|a Deducción y prueba de teoremas.
|
| 650 |
|
4 |
|a Deduction and theorem proving.
|
| 650 |
|
4 |
|a Verificación de programas.
|
| 650 |
|
4 |
|a Program verification.
|
| 650 |
|
4 |
|a Software-Herramientas y técnicas.
|
| 650 |
|
4 |
|a Software-Tools and techniques.
|
| 650 |
|
4 |
|a Lógica matemática-Computación.
|
| 650 |
|
4 |
|a Mathematical logic-Computation.
|
| 650 |
|
4 |
|a Asistencia de diseños.
|
| 650 |
|
4 |
|a Design aids.
|
| 700 |
1 |
|
|9 366
|a Alur, Rajeev,
|d 1966-
|e ed.,
|
| 700 |
1 |
|
|9 7435
|a Henzinger, Thomas A.,
|e ed.
|
| 942 |
|
|
|c LIBRO
|2
|
| 945 |
|
|
|a MCR
|d 2011-05-09
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1102_000000000000000
|7 0
|9 10589
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1102
|p 15126
|r 2010-11-24
|w 2008-06-09
|y LIBRO
|
| 999 |
|
|
|c 8298
|d 8298
|
