Theory and Practice of Model Transformations : 7th International Conference, ICMT 2014, Held as Part of STAF 2014 York, UK, July 21-22, 2014 : Proceedings /
Selección de ponencias de la séptima Conferencia Internacional sobre Transformación de Modelos, celebrada en York, Inglaterra, en julio de 2014. Los artículos se han organizado en secciones temáticas sobre pruebas de transformación de modelos, fundamentos de la sincronización de modelos, aplicacione...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Konferenční příspěvek Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham, Suiza :
Springer,
2014, c2014
|
| Edice: | (Lecture Notes in Computer Science ;
8568) |
| Témata: | |
| On-line přístup: | Ver documento en línea |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000571615 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526153104.963 | ||
| 020 | |a 978-3-319-08789-4 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Model Transformation ( |n 7a : |d 2014 : |c York, Inglaterra) | ||
| 245 | 1 | 0 | |a Theory and Practice of Model Transformations : |b 7th International Conference, ICMT 2014, Held as Part of STAF 2014 York, UK, July 21-22, 2014 : Proceedings / |c Ed. de D. Di Ruscio, D. Varró. |
| 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 (XVI, 203 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 8568) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias de la séptima Conferencia Internacional sobre Transformación de Modelos, celebrada en York, Inglaterra, en julio de 2014. Los artículos se han organizado en secciones temáticas sobre pruebas de transformación de modelos, fundamentos de la sincronización de modelos, aplicaciones de sincronización y seguimiento de modelos e ingeniería inversa de transformaciones. | ||
| 649 | |a XX | ||
| 650 | |a Métodos de Simulación | ||
| 650 | |a Lógica Matemática | ||
| 650 | |a Autómatas Matemáticos - |x Teoría - |x Tema Principal | ||
| 650 | |a Modelos Matemáticos - |x Congresos - |x Tema Principal | ||
| 650 | |a Programación (Matemáticas) | ||
| 650 | |a Matemáticas | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Di Ruscio, Davide |e (edición) | ||
| 700 | |a Varró, Dániel |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-08789-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 571615-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000571615 | ||