Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
Obra en dos volúmenes que reúne las ponencias del sexto Simposio internacional sobre el aprovechamiento de las aplicaciones de métodos formales, verificación y validación, celebrado en Corfú, Grecia, en octubre de 2014. Las contribuciones que se incluyen en esta segunda parte abordan líneas temática...
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , |
| Format: | Procedimiento de la conferencia Knjiga |
| Jezik: | angleščina |
| Izdano: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serija: | (Lecture Notes in Computer Science ;
8803) |
| Teme: | |
| Online dostop: | Ver documento en línea |
| Oznake: |
Brez oznak, prvi označite!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000561596 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526152819.165 | ||
| 020 | |a 978-3-662-45231-8 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( |n 6° : |d 2014 : |c Corfú, Grecia) | ||
| 240 | 1 | 1 | |a [Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques an dApplications] |
| 245 | 1 | 0 | |a Leveraging Applications of Formal Methods, Verification and Validation : |b Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II / |c Ed. de T. Margaria, B. Steffen. |
| 264 | 4 | |a Cham, Suiza : |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, 644 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 8803) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Obra en dos volúmenes que reúne las ponencias del sexto Simposio internacional sobre el aprovechamiento de las aplicaciones de métodos formales, verificación y validación, celebrado en Corfú, Grecia, en octubre de 2014. Las contribuciones que se incluyen en esta segunda parte abordan líneas temáticas relacionadas con la ingeniería de sistemas virtualizados, comprobación de modelos estadísticos, pruebas basadas en riesgos, flujos de trabajo y sistemas médicos en línea, evaluación y análisis de programas, proceso e integración en red de datos médicos, y desarrollo formal de sistemas complejos. | ||
| 649 | |a XX | ||
| 650 | |a Complejidad Computacional | ||
| 650 | |a Proceso de Datos | ||
| 650 | |a Riesgo (Probabilidad) | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición | ||
| 650 | |a Arquitectura de Software - |x Prueba y Medición | ||
| 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 Margaria, Tiziana |e (edición) | ||
| 700 | |a Steffen, Bernhard |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-662-45231-8 |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 561596-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000561596 | ||