|
|
|
|
LEADER |
00000nam a22000007a 4500 |
001 |
14649715 |
003 |
AR_CdUFM |
005 |
20160908124512.0 |
008 |
061129s2007 gw a b 100 0 eng d |
020 |
|
|
|a 9783540697350
|
040 |
|
|
|a OHX
|c OHX
|d UKM
|d YDXCP
|d NIC
|d DLC
|d AR_CdUFM
|
111 |
2 |
|
|a International conference,VMCAI 2007
|n (8th :
|d 2007 :
|c Nice, France)
|
245 |
1 |
0 |
|a Verification, model checking and abstract interpretation :
|b 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
|c Byron Cook, Andreas Podelski (eds.).
|
260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c2007.
|
300 |
|
|
|a xi, 394 p. :
|b il. ;
|c 24 cm.
|
490 |
|
|
|a Lecture notes in computer science,
|v vol. 4349
|x ISSN: 0302-9743 ;
|
504 |
|
|
|a Incluye referencias bibliográficas e índice.
|
650 |
|
4 |
|a Programas-Especificación.
|
650 |
|
4 |
|a Programas-Verificación.
|
650 |
|
4 |
|a Programs-Specification.
|
650 |
|
4 |
|a Programs-Verification.
|
650 |
|
4 |
|a Definiciones formales y teoría
|
650 |
|
4 |
|a Formal definitions and theory.
|
650 |
|
4 |
|a Model checking.
|
700 |
1 |
|
|9 3470
|a Cook, Byron,
|e ed.
|
700 |
1 |
|
|9 13588
|a Podelski, Andreas,
|e ed.
|
856 |
4 |
2 |
|3 Publisher description
|u http://www.loc.gov/catdir/enhancements/fy0825/2006939351-d.html
|
541 |
|
|
|a Importación de Publicaciones
|c Subsidio Secyt-UNC-2010-Gramaglia Hector
|d 2010-11-17
|e 20747 v. 4349
|h $380
|o Libro
|
942 |
|
|
|c LIBRO
|
945 |
|
|
|a MCR
|d 2011-05-17
|
952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__4349_000000000000000
|7 0
|9 20043
|a MMA
|b MMA
|c LN
|d 2010-11-17
|e Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones
|g 380.00
|l 0
|o C LNCS v. 4349
|p 20747
|r 2010-11-17 00:00:00
|w 2010-11-17
|y LIBRO
|
955 |
|
|
|a pc17 2006-11-29
|a jp00 2007-05-03
|a jp00 2007-05-14 z-processor to ASCD/CCPT
|i jx14 2007-06-05 to jx01
|
999 |
|
|
|c 15737
|d 15736
|