|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
978-3-642-30476-7 |
003 |
DE-He213 |
005 |
20220311201022.0 |
007 |
cr nn 008mamaa |
008 |
120525s2012 gw | s |||| 0|eng d |
020 |
|
|
|a 9783642304767
|9 978-3-642-30476-7
|
024 |
7 |
|
|a 10.1007/978-3-642-30476-7
|2 doi
|
050 |
|
4 |
|a QA76.758
|
072 |
|
7 |
|a UMZ
|2 bicssc
|
072 |
|
7 |
|a COM051230
|2 bisacsh
|
072 |
|
7 |
|a UMZ
|2 thema
|
082 |
0 |
4 |
|a 005.1
|2 23
|
245 |
1 |
0 |
|a Theory and Practice of Model Transformations
|h [electronic resource] :
|b 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /
|c edited by Zhenjiang Hu, Juan de Lara.
|
250 |
|
|
|a 1st ed. 2012.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2012.
|
300 |
|
|
|a X, 297 p. 115 illus.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 7307
|
520 |
|
|
|a This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization.
|
650 |
|
0 |
|a Software engineering.
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Compilers (Computer programs).
|
650 |
|
0 |
|a Computer networks .
|
650 |
|
0 |
|a Machine theory.
|
650 |
1 |
4 |
|a Software Engineering.
|
650 |
2 |
4 |
|a Computer Science Logic and Foundations of Programming.
|
650 |
2 |
4 |
|a Compilers and Interpreters.
|
650 |
2 |
4 |
|a Computer Communication Networks.
|
650 |
2 |
4 |
|a Formal Languages and Automata Theory.
|
700 |
1 |
|
|a Hu, Zhenjiang.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a de Lara, Juan.
|e editor.
|0 (orcid)0000-0001-9425-6362
|1 https://orcid.org/0000-0001-9425-6362
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer Nature eBook
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642304774
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642304750
|
830 |
|
0 |
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 7307
|
856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-3-642-30476-7
|z Texto Completo
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-SXCS
|
912 |
|
|
|a ZDB-2-LNC
|
950 |
|
|
|a Computer Science (SpringerNature-11645)
|
950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|