|
|
|
|
LEADER |
02723nam a22005415i 4500 |
001 |
10491 |
003 |
DE-He213 |
005 |
20130725195332.0 |
007 |
cr nn 008mamaa |
008 |
100308s2010 gw | s |||| 0|eng d |
020 |
# |
# |
|a 9783642120299
|9 978-3-642-12029-9
|
024 |
7 |
# |
|a 10.1007/978-3-642-12029-9
|2 doi
|
050 |
# |
4 |
|a QA76.758
|
072 |
# |
7 |
|a UMZ
|2 bicssc
|
072 |
# |
7 |
|a COM051230
|2 bisacsh
|
082 |
0 |
4 |
|a 005.1
|2 23
|
100 |
1 |
# |
|a Rosenblum, David S.
|e editor.
|
245 |
1 |
0 |
|a Fundamental Approaches to Software Engineering
|b 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
|c edited by David S. Rosenblum, Gabriele Taentzer.
|h [electronic resource] :
|
264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
300 |
# |
# |
|a XIII, 383p. 127 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 Lecture Notes in Computer Science,
|v 6013
|x 0302-9743 ;
|
520 |
# |
# |
|a This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 25 papers presented were carefully reviewed and selected from 103 submissions. The volume also contains one invited talk. The topics covered are model transformation, software evolution, graph transformation, modeling concepts, verification, program analysis, testing and debugging, and performance modeling and analysis.
|
650 |
# |
0 |
|a Computer science.
|
650 |
# |
0 |
|a Computer Communication Networks.
|
650 |
# |
0 |
|a Software engineering.
|
650 |
# |
0 |
|a Logic design.
|
650 |
# |
0 |
|a Information Systems.
|
650 |
1 |
4 |
|a Computer Science.
|
650 |
2 |
4 |
|a Software Engineering.
|
650 |
2 |
4 |
|a Computer Communication Networks.
|
650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|
650 |
2 |
4 |
|a Programming Techniques.
|
650 |
2 |
4 |
|a Management of Computing and Information Systems.
|
700 |
1 |
# |
|a Taentzer, Gabriele.
|e editor.
|
710 |
2 |
# |
|a SpringerLink (Online service)
|
773 |
0 |
# |
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642120282
|
830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6013
|x 0302-9743 ;
|
856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-12029-9
|
912 |
# |
# |
|a ZDB-2-SCS
|
912 |
# |
# |
|a ZDB-2-LNC
|
950 |
# |
# |
|a Computer Science (Springer-11645)
|