|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 001 |
14437542 |
| 003 |
AR_CdUFM |
| 005 |
20190820185429.0 |
| 008 |
060705s2006 gw a b 101 0 eng d |
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__4144_000000000000000
|7 0
|9 20232
|a MMA
|b MMA
|c LN
|d 2011-04-15
|e Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones
|g 0.00
|l 0
|o C LNCS v. 4144
|p 20883
|r 2011-04-15 00:00:00
|w 2011-04-15
|y LIBRO
|
| 999 |
|
|
|c 15891
|d 15890
|
| 020 |
|
|
|a 354037406X
|
| 040 |
|
|
|a OL$
|c OL$
|d BAKER
|d NDD
|d C$Q
|d IXA
|d YDXCP
|d BTCTA
|d LVB
|d DLC
|d AR_CdUFM
|
| 111 |
|
|
|a CAV (Conference)
|n (18th :
|d 2006 :
|c Seattle, Wash.)
|9 19823
|
| 245 |
1 |
0 |
|a Computer aided verification :
|b 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
|c Thomas Ball, Robert B. Jones (eds.).
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c2006.
|
| 300 |
|
|
|a xv, 564 p. :
|b il. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 4144
|
| 504 |
|
|
|a Incluye referencias bibliográficas e índice.
|
| 541 |
|
|
|a Importación de Publicaciones ;
|c Subsidio Secyt-UNC 2010-Gramaglia Hector ;
|d 2011-04-15 ;
|e 20883 v. 4144 ;
|h $495
|o Libro
|
| 650 |
|
4 |
|a Lenguajes de programación.
|
| 650 |
|
4 |
|a Verificación de programas.
|
| 650 |
|
4 |
|a Software-Herramientas y técnicas.
|
| 650 |
|
4 |
|a Lógica matemática.
|
| 650 |
|
4 |
|a Inteligencia artificial.
|
| 650 |
|
4 |
|a Deducción y prueba de teoremas.
|
| 650 |
|
4 |
|a Asistencia de diseños.
|
| 650 |
|
4 |
|a Sistemas con propósito y aplicaciones especiales.
|
| 650 |
|
4 |
|a Programming languages.
|
| 650 |
|
4 |
|a Program verification.
|
| 650 |
|
4 |
|a Software-Tools and techniques.
|
| 650 |
|
4 |
|a Mathematical logic.
|
| 650 |
|
4 |
|a Artificial intelligence.
|
| 650 |
|
4 |
|a Deduction and theorem proving.
|
| 650 |
|
4 |
|a Design aids.
|
| 650 |
|
4 |
|a Special-purpose and application-based systems.
|
| 700 |
1 |
|
|9 925
|a Ball, Thomas,
|d 1965-
|
| 700 |
1 |
|
|a Jones, Robert Brent,
|d 1969-
|
| 942 |
|
|
|c LIBRO
|2
|
| 945 |
|
|
|a MCR
|d 2011-04-15
|
| 955 |
|
|
|a jf88 2008-05-21 z-processor
|i jx09 2008-06-02
|a ld11 2008-06-13 copy 2 added
|
| 955 |
|
|
|a pc17 2006-07-05
|a jf00 2006-10-31
|
