Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /
Selección de ponencias de la décima quinta Conferencia Internacional sobre Verificación, Comprobación de Modelos e Interpretación de Resúmenes, celebrada en San Diego, EUA, en enero de 2014. Los artículos cubren una amplia gama de temas que incluyen verificación de programas, verificación de modelos...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Procedimiento de la conferencia Livro |
| Idioma: | inglês |
| Publicado em: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Colecção: | (Lecture Notes in Computer Science ;
8318) |
| Assuntos: | |
| Acesso em linha: | Ver documento en línea |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000572708 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526153122.401 | ||
| 020 | |a 978-3-642-54013-4 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Verification, Model Checking and Abstract Interpretation ( |n 15a : |d 2014 : |c San Diego, EUA) | ||
| 245 | 1 | 0 | |a Verification, Model Checking, and Abstract Interpretation : |b 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings / |c Ed. de K.L. McMillan, X. Rival. |
| 264 | 4 | |a Heidelberg, Alemania : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014 | |
| 300 | |a 1 libro electrónico en línea (XVIII, 493 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 8318) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias de la décima quinta Conferencia Internacional sobre Verificación, Comprobación de Modelos e Interpretación de Resúmenes, celebrada en San Diego, EUA, en enero de 2014. Los artículos cubren una amplia gama de temas que incluyen verificación de programas, verificación de modelos, interpretación abstracta y dominios abstractos; síntesis de programas, análisis estático, sistemas de tipos y métodos deductivos; certificación de programas, técnicas de depuración, transformación de programas, optimización, sistemas híbridos y ciber físicos. | ||
| 649 | |a XX | ||
| 650 | |a Intérpretes (Software) | ||
| 650 | |a Compiladores (Software) | ||
| 650 | |a Paquetes (Software) - |x Reutilización | ||
| 650 | |a Arquitectura de Software - |x Prueba y Medición | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición - |x Tema Principal | ||
| 650 | |a Programación (Software) | ||
| 650 | |a Ingeniería de Software | ||
| 650 | |a Desarrollo de Sistemas - |x Congresos - |x Tema Principal | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a McMillan, Kenneth L. |e (edición) | ||
| 700 | |a Rival, Xavier |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-642-54013-4 |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 572708-1 |b IT2 |c EBO |i C172346 |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000572708 | ||