|
|
|
|
| LEADER |
00000nam^a2200000^a^4500 |
| 001 |
000428926 |
| 005 |
20251023000000.0 |
| 009 |
20260526144621.706 |
| 020 |
|
|
|a 978-3-540-69850-0
|
| 037 |
|
|
|a Acervo ITESO - Biblioteca
|
| 041 |
|
|
|a ING
|
| 082 |
|
|
|a 005. 131
|b GRU
|
| 100 |
|
|
|a Grumberg, Orna
|e (edición)
|
| 245 |
1 |
0 |
|a 25 Years of Model Checking :
|b History, Achievements, Perspectives /
|c O. Grumberg, H. Veith.
|
| 264 |
|
4 |
|a Berlín, Alemania :
|b Springer,
|c 2008, c2008
|
| 264 |
|
2 |
|a Cham, Suiza :
|b Springer Link [distribución],
|c 2008
|
| 300 |
|
|
|a 1 libro electrónico en línea (VI, 230 p.)
|
| 300 |
|
|
|a 1 recurso en línea
|
| 336 |
|
|
|a datos para computadora
|b cod
|2 rdacontenido
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedio
|
| 338 |
|
|
|a recurso en línea
|b cr
|2 rdasoporte
|
| 440 |
|
1 |
|a (Lecture Notes in Computer Science ;
|v 5000.
|p Theoretical Computer Science and General Issues)
|
| 506 |
0 |
|
|a Licencias ilimitadas
|
| 520 |
|
|
|a Contiene: 1) El nacimiento de la verificación de modelos. 2) El comienzo de la verificación de modelos: una perspectiva personal. 3) Transferencia de tecnología de verificación. 4) Nuevos desafíos en la verificación de modelos. 5) Una retrospectiva sobre Murϕ. 6) Verificación de modelos: de las herramientas a la teoría. 7) Iteración de valor. 8) Quince años de verificación formal de propiedad en Intel. 9) Una vista desde la sala de máquinas: soporte computacional para la verificación de modelos simbólicos. 10) De la Iglesia y antes de PSL. 11) Sobre los méritos de los probadores temporales. 12) Diseño y síntesis de esqueletos de sincronización utilizando lógica temporal del tiempo de ramificación.13) Especificación y verificación de sistemas concurrentes.
|
| 649 |
|
|
|a XX
|
| 650 |
|
|
|a Algoritmos Computacionales -
|x Tema Principal
|
| 650 |
|
|
|a Control de Procesos -
|x Modelos Matemáticos
|
| 650 |
|
|
|a Modelos Matemáticos
|
| 650 |
|
|
|a Lenguajes de Programación -
|x Tema Principal
|
| 650 |
|
|
|a Lenguajes Formales
|
| 650 |
|
|
|a Lógica Matemática
|
| 650 |
|
|
|a Lógica Formal
|
| 650 |
|
|
|a Desarrollo de Sistemas
|
| 650 |
|
|
|a Sistemas Computacionales -
|x Prueba y Medición -
|x Tema Principal
|
| 650 |
|
|
|a Ingeniería Computacional
|
| 700 |
|
|
|a Veith, Helmut
|e (edición)
|
| 856 |
4 |
0 |
|u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-540-69850-0
|y Ver documento en línea
|
| 910 |
|
|
|a Fondo General
|
| 920 |
|
|
|a Electrónicos - Libros en Línea
|
| 930 |
|
|
|a Plataforma Digital
|
| 905 |
|
|
|a 205
|
| 901 |
|
|
|a 428926-1
|b IT2
|c EBO
|i C172346
|u 20250521
|
| 902 |
|
|
|a https://opac.biblio.iteso.mx/vufind/Record/000428926
|