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...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Cham, Suiza :
Springer,
2014, c2014
|
| Σειρά: | (Lecture Notes in Computer Science ;
8803) |
| Θέματα: | |
| Διαθέσιμο Online: | Ver documento en línea |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
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 | ||