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...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor corporatiu: International Conference on Model Transformation ( York, Inglaterra)
Altres autors: Di Ruscio, Davide (edición) (edición), Varró, Dániel (edición) (edición)
Format: Actes de congresos Llibre
Idioma:anglès
Publicat: Cham, Suiza : Springer, 2014, c2014
Col·lecció:(Lecture Notes in Computer Science ; 8568)
Matèries:
Accés en línia:Ver documento en línea
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC

LEADER 00000nam^a2200000^a^4500
001 000571615
005 20251023000000.0
009 20260310132252.057
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