|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 001 |
7849478 |
| 003 |
AR_CdUFM |
| 005 |
20231003163443.0 |
| 008 |
090703e2007 gw |s|||| 00| 0 eng d |
| 020 |
|
|
|a 9783540733676
|
| 040 |
|
|
|a BIP US
|d WaSeSS
|d AR_CdUFM
|
| 111 |
2 |
|
|a CAV (Conference)
|n (19º :
|d 2007 :
|c Berlin, Germany)
|
| 245 |
0 |
0 |
|a Computer Aided Verification :
|b 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
|c Werner Damm, Holger Hermanns, editors.
|
| 260 |
|
|
|a Berlin :
|b Springer
|c 2007.
|
| 300 |
|
|
|a xv, 562 p. :
|b il. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 4590
|
| 490 |
0 |
|
|a LNCS ;
|v v. 4590
|
| 504 |
|
|
|a Incluye referencias bibliográficas.
|
| 541 |
|
|
|a Importación de Publicaciones ;
|c Hector Gramagli: Subsidio Secyt - UNC. 2010 ;
|d 2011-09-28 ;
|e 21253 ;
|h $460 ;
|o Libro
|
| 650 |
|
4 |
|a Lógica y significado de programas.
|
| 650 |
|
4 |
|a Verificación de programas.
|
| 650 |
|
4 |
|a Herramientas y técnicas.
|
| 650 |
|
4 |
|a Lógica matemática.
|
| 650 |
|
4 |
|a Asistencia de diseños.
|
| 650 |
|
4 |
|a Sistemas con propósito y aplicación especial.
|
| 650 |
|
4 |
|a Logics and meanings of programas.
|
| 650 |
|
4 |
|a Program verification.
|
| 650 |
|
4 |
|a Tools and techniques.
|
| 650 |
|
4 |
|a Mathematical logic.
|
| 650 |
|
4 |
|a Deducton and theorem proving.
|
| 650 |
|
4 |
|a Design aids.
|
| 650 |
|
4 |
|a Special-purpose application-based systems.
|
| 700 |
1 |
|
|a Hermanns, Holger,
|d 1967-
|e Volume Editor
|9 7455
|
| 942 |
|
|
|c LIBRO
|2
|
| 945 |
|
|
|a MCR
|d 2011-09-28
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__4590_000000000000000
|7 0
|9 20652
|a MMA
|b MMA
|c LN
|d 2011-09-28
|e Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones
|g 0.00
|l 0
|o C LNCS v. 4590
|p 21253
|r 2011-09-28 00:00:00
|w 2011-09-28
|y LIBRO
|
| 999 |
|
|
|c 16229
|d 16228
|
