Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec, 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
Selección de ponencias presentadas en la trigésima cuarta Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, celebrada en Berlín, Alemania, en junio de 2014, como parte de la novena Conferencia Internacional Federada sobre Técnicas de Com...
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Schriftenreihe: | (Lecture Notes in Computer Science ;
8461) |
| Schlagworte: | |
| Online-Zugang: | Ver documento en línea |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000556672 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310131744.748 | ||
| 020 | |a 978-3-662-43613-4 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems ( |n 34a : |d 2014 : |c Berlín, Alemania) | ||
| 245 | 1 | 0 | |a Formal Techniques for Distributed Objects, Components, and Systems : |b 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec, 2014 Berlin, Germany, June 3-5, 2014 : Proceedings / |c Ed. de E. Ábrahám, C. Palamidessi. |
| 264 | 4 | |a Heidelberg, Alemania : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014, c2014 | |
| 300 | |a 1 libro electrónico en línea (XII, 301 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 8461) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias presentadas en la trigésima cuarta Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, celebrada en Berlín, Alemania, en junio de 2014, como parte de la novena Conferencia Internacional Federada sobre Técnicas de Computación Distribuida. Los textos que se incluyen dan cuenta de diversas líneas temáticas de investigación relacionadas con el desarrollo de sistemas mediante técnicas formales, entre las que destacan los lenguajes de especificación y los sistemas de tipos; monitoreo y pruebas; análisis de seguridad; y bisimulación, abstracción y reducción. | ||
| 649 | |a XX | ||
| 650 | |a Cómputo Distribuido - |x Tema Principal | ||
| 650 | |a Redes de Computadoras - |x Seguridad | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Modelos Matemáticos | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición | ||
| 650 | |a Programación (Software) - |x Planeación | ||
| 650 | |a Programación Orientada a Objetos | ||
| 650 | |a Programación (Software) | ||
| 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 | ||
| 650 | |a Matemáticas | ||
| 700 | |a Ábrahám, Erika |e (edición) | ||
| 700 | |a Palamidessi, Catuscia |e (edición) | ||
| 711 | |a International Federated Conference on Distributed Computing Techniques ( |n 9a : |d 2014 : |c Berlín, Alemania) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-662-43613-4 |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 556672-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000556672 | ||