Verified Software : Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers /
Selección de ponencias de la quinta Conferencia Internacional sobre Software Verificado: Teorías, Herramientas y Experimentos, celebrada en Menlo Park, EUA, en mayo de 2013. Los artículos dan cuenta de una amplia gama de temas relacionados con el desarrollo de sistemas, entre los que destacan, lengu...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Actes de congresos Llibre |
| Idioma: | anglès |
| Publicat: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Col·lecció: | (Lecture Notes in Computer Science ;
8164) |
| Matèries: | |
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000572777 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132315.375 | ||
| 020 | |a 978-3-642-54108-7 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Verified Software: Theories, Tools and Experiments ( |n 5a : |d 2013 : |c Menlo Park, EUA) | ||
| 245 | 1 | 0 | |a Verified Software : |b Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers / |c Ed. de E. Cohen, A. Rybalchenko. |
| 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 (XVI, 345 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 8164) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias de la quinta Conferencia Internacional sobre Software Verificado: Teorías, Herramientas y Experimentos, celebrada en Menlo Park, EUA, en mayo de 2013. Los artículos dan cuenta de una amplia gama de temas relacionados con el desarrollo de sistemas, entre los que destacan, lenguajes de especificación, verificación, cálculos formales, métodos de diseño de software, generación automática de código, metodologías de refinamiento, análisis compositivo, herramientas de verificación, integración de herramientas, puntos de referencia, así como entornos de verificación integrados. | ||
| 649 | |a XX | ||
| 650 | |a Código Fuente | ||
| 650 | |a Lenguajes de Programación | ||
| 650 | |a Programación Estructurada (Software) | ||
| 650 | |a Programación Lógica (Software) | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición | ||
| 650 | |a Programación (Software) - |x Tema Principal | ||
| 650 | |a Ingeniería de Software - |x Tema Principal | ||
| 650 | |a Desarrollo de Sistemas - |x Congresos - |x Tema Principal | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Cohen, Ernie |e (edición) | ||
| 700 | |a Rybalchenko, Andrey |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-642-54108-7 |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 572777-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000572777 | ||