Tools and Algorithms for the Construction andAnalysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
Selección de ponencias de la vigésima Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, que tuvo lugar en Grenoble, Francia, en abril de 2014, como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software. Los artículos es...
Αποθηκεύτηκε σε:
| Συλλογικό Έργο: | , |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Σειρά: | (Lecture Notes in Computer Science ;
8413) |
| Θέματα: | |
| Διαθέσιμο Online: | Ver documento en línea |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000571808 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132255.968 | ||
| 020 | |a 978-3-642-54862-8 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( |n 20a : |d 2014 : |c Grenoble, Francia) | ||
| 245 | 1 | 0 | |a Tools and Algorithms for the Construction andAnalysis of Systems : |b 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings / |c Ed. de E. Abrahám, K. Havelund. |
| 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, 652 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 8413) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias de la vigésima Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, que tuvo lugar en Grenoble, Francia, en abril de 2014, como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software. Los artículos están organizados en secciones temáticas denominadas: procedimientos de decisión y su aplicación en el análisis; análisis de complejidad y terminación; modelado y verificación de modelos de sistemas discretos; sistemas temporizados e híbridos; monitoreo, detección e identificación de fallas; competencia en materia de verificación de software; especificar y comprobar propiedades de tiempo lineal; sistemas cuánticos y probabilísticos; así como demostraciones de herramientas y estudios de casos. | ||
| 649 | |a XX | ||
| 650 | |a Ingeniería de Software | ||
| 650 | |a Programación (Software) | ||
| 650 | |a Complejidad Computacional | ||
| 650 | |a Codificación - |x Teoría | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Algoritmos Computacionales - |x Tema Principal | ||
| 650 | |a Sistemas Computacionales - |x Prueba y Medición - |x Tema Principal | ||
| 650 | |a Desarrollo de Sistemas - |x Congresos - |x Tema Principal | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Abrahám, Erika |e (edición) | ||
| 700 | |a Havelund, Klaus |e (edición) | ||
| 711 | |a European Joint Conferences on Theory and Practice of Software ( |n 17a : |d 2014 : |c Grenoble, Francia) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-642-54862-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 571808-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000571808 | ||