Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I /
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...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Atti del Convegno Libro |
| Lingua: | inglese |
| Pubblicazione: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serie: | (Lecture Notes in Computer Science ;
8802) |
| Soggetti: | |
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000561597 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526152819.165 | ||
| 020 | |a 978-3-662-45234-9 | ||
| 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 an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I / |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, 547 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 8802) | |
| 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 sistemas críticos en evolución, ingeniería rigurosa de conjuntos autonómicos; aprendizaje de autómatas, métodos formales y análisis en ingeniería de línea de productos de software, generadores y compiladores de código basados en modelos y aprendizaje de autómatas en la práctica | ||
| 649 | |a XX | ||
| 650 | |a Compiladores (Software) | ||
| 650 | |a Complejidad Computacional | ||
| 650 | |a Agentes Inteligentes (Software) | ||
| 650 | |a Aprendizaje Automático (Inteligencia Artificial) - |x Tema Principal | ||
| 650 | |a Sistemas Expertos - |x Prueba y Medición | ||
| 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 Inteligencia Artificial | ||
| 650 | |a Autómatas Matemáticos - |x Teoría - |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-45234-9 |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 561597-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000561597 | ||