Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings / [electronic resource] : edited by Zhenjiang Hu, Juan de Lara. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - 1 online resource (X, 297 p. 115 ill.) - Lecture Notes in Computer Science, 7307 0302-9743 ; .

9783642304767


Computer science.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.