000 01799nam a22003855i 4500
001 vtls001948364
003 NLI
005 20210630062231.0
007 cr nn 008mamaa
008 170529s2012 gw | s |||| 0|eng d
020 _a9783642252310
_9978-3-642-25231-0
039 9 _y201705291407
_zgopag
041 0 _aeng
044 _agw
245 1 0 _aEmpirical Software Engineering and Verification
_h[electronic resource] :
_bInternational Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
_cedited by Bertrand Meyer, Martin Nordio.
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2012.
300 _a1 online resource (VII, 213 p.)
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7007
_9833933
505 0 _aSearch Based Software Engineering: Techniques, Taxonomy, Tutorial -- Replication of Software Engineering Experiments -- A Formal Reference for SCOOP -- On the Integration of Software Testing and Formal Analysis -- Is Branch Coverage a Good Measure of Testing Effectiveness.
650 0 _aComputer science.
650 0 _aComputer programming.
_9678756
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputer logic.
650 0 _aMathematical logic.
650 0 _aManagement information systems.
_9725866
700 1 _aMeyer, Bertrand,
_4edt
_91305328
700 1 _aNordio, Martin,
_4edt
_91305329
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-25231-0
887 _a Gopa
905 _aGopa
949 _AVIRTUAITEM
_D10000
_X206
_6EBK000023418ENG
_eEBK23418
942 _2ddc
_cBKS
999 _aVIRTUA
_c1371925
_d1371925
999 _aVTLSSORT0070*0080*0200*0410*0440*2450*2600*3000*4400*5050*6500*6501*6502*6503*6504*6505*6506*7000*7001*8560*9050*9992