|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
UV# |
| 005 |
20180605114907.0 |
| 008 |
180523s2007 gw b 001 0 eng d |
| 999 |
|
|
|c 321165
|d 321164
|
| 020 |
|
|
|a 9783540741121
|
| 040 |
|
|
|a UV#
|b spa
|e rda
|c UV#
|
| 050 |
|
4 |
|a QA76.9.L63
|b B72 2007
|
| 082 |
0 |
4 |
|a 005.1015113
|2 14
|
| 100 |
1 |
|
|a Bradley, Aaron R.
|e autor
|
| 245 |
1 |
4 |
|a The calculus of computation :
|b decision procedures with applications to verification /
|c Aaron R. Bradley, Zohar Manna.
|
| 264 |
|
1 |
|a Berlin :
|b Springer- Verlag,
|c [2007]
|
| 264 |
|
4 |
|c ©2007.
|
| 300 |
|
|
|a xv, 366 páginas :
|b ilustraciones ;
|c 25 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin medio
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 504 |
|
|
|a Incluye bibliografía (páginas [351]- 355) e índice.
|
| 650 |
|
4 |
|9 357382
|a Lógica computacional
|
| 650 |
|
4 |
|9 358753
|a Verificación de programas para computadora
|
| 700 |
|
|
|a Manna, Zohar
|e autor
|
| 942 |
|
|
|2 lcc
|c LIBRO
|6 _
|
