Andere Kunden interessierten sich auch für
![Modelling Foundations and Applications]( "Modelling Foundations and Applications")
Modelling Foundations and Applications37,99 €![Unconventional Computation and Natural Computation]( "Unconventional Computation and Natural Computation")
Unconventional Computation and Natural Computation37,99 €![Handbook of Model Checking]( "Handbook of Model Checking")
Handbook of Model Checking110,99 €![Tests and Proofs]( "Tests and Proofs")
Tests and Proofs37,99 €![Task Scheduling for Multi-core and Parallel Architectures]( "Task Scheduling for Multi-core and Parallel Architectures")
Task Scheduling for Multi-core and Parallel Architectures95,99 €![String Analysis for Software Verification and Security]( "String Analysis for Software Verification and Security")
String Analysis for Software Verification and Security63,99 €![Foundations of Software Science and Computation Structures]( "Foundations of Software Science and Computation Structures")
Foundations of Software Science and Computation Structures37,99 €
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.
The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.