Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /
Selección de las ponencias presentadas en el décimo Simposio Internacional sobre Aspectos Formales del Software de Componentes, celebrado en Nanchang, China, en octubre de 2013. Los artículos abordan, principalmente, el uso de los métodos formales en el desarrollo de software para componentes que se...
Guardado en:
| 企業作者: | |
|---|---|
| 其他作者: | , , |
| 格式: | Procedimiento de la conferencia 圖書 |
| 語言: | 英语 |
| 出版: |
Cham, Suiza :
Springer,
2014, c2014
|
| 叢編: | (Lecture Notes in Computer Science ;
8348) |
| 主題: | |
| 在線閱讀: | Ver documento en línea |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000556534 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526152653.774 | ||
| 020 | |a 978-3-319-07602-7 | ||
| 022 | |a 1611-3349 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Symposium on Formal Aspects of Component Software ( |n 10° : |d 2013 : |c Nanchang, China) | ||
| 245 | 1 | 0 | |a Formal Aspects of Component Software : |b 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers / |c Ed. de J.L. Fiadeiro, Z. Liu, J. Xue. |
| 264 | 4 | |a Cham, Suiza : |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 (X, 385 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 8348) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de las ponencias presentadas en el décimo Simposio Internacional sobre Aspectos Formales del Software de Componentes, celebrado en Nanchang, China, en octubre de 2013. Los artículos abordan, principalmente, el uso de los métodos formales en el desarrollo de software para componentes que se ajusten a las nuevas infraestructuras de tecnologías de información de la actualidad. | ||
| 649 | |a XX | ||
| 650 | |a Arquitectura de Computadoras | ||
| 650 | |a Algoritmos Computacionales | ||
| 650 | |a Codificación - |x Teoría | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Compiladores (Software) | ||
| 650 | |a Ingeniería de Software | ||
| 650 | |a Programación (Software) - |x Tema Principal | ||
| 650 | |a Algoritmos | ||
| 650 | |a Desarrollo de Sistemas - |x Congresos - |x Tema Principal | ||
| 650 | |a Desarrollo de Sistemas | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Fiadeiro, José Luiz |e (edición) | ||
| 700 | |a Liu, Zhiming |e (edición) | ||
| 700 | |a Xue, Jinyun |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-07602-7 |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 556534-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000556534 | ||