LEADER 00941nam a2200241 i 4500
001 991002053499707536
008 130514s2012    us            000 0 eng d
020   $a9781107016699
035   $ab1411348x-39ule_inst
040   $aDip.to Studi Umanistici - Sez. Filologia Classica e Sc. Filosofiche$bita
082 04$a880.9492
100 1 $aHägg, Tomas$0398374
245 14$aThe art of biography in Antiquity /$cTomas Hägg
260   $aCambridge ;$aNew York :$bCambridge University Press,$c2012
300   $aXV, 496 p. ;$c24 cm
504   $aBibliografia: p. 417-475. Indice
650 04$aBiografia$xStoria$xAntichitā
907   $a.b1411348x$b02-04-14$c14-05-13
912   $a991002053499707536
945   $aLE007 880 HAG 02.01$g1$i2007000241646$lle007$op$pE87.02$q-$rl$s-  $t0$u0$v0$w0$x0$y.i15509357$z14-05-13
996   $aArt of biography in Antiquity$9264372
997   $aUNISALENTO
998   $ale007$b14-05-13$cm$da  $e-$feng$gus $h4$i0

LEADER 02079oam  2200409zu 450 
001 9910872428703321
005 20241212214754.0
035   $a(CKB)111026746701446
035   $a(SSID)ssj0000454867
035   $a(PQKBManifestationID)12129438
035   $a(PQKBTitleCode)TC0000454867
035   $a(PQKBWorkID)10397968
035   $a(PQKB)10225745
035   $a(NjHacI)99111026746701446
035   $a(EXLCZ)99111026746701446
100   $a20160829d2000      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a15th International Conference on Automated Software Engineering 2000
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2000
215   $a1 online resource
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9780769507101 
311 08$a0769507107 
330   $aResearchers and practitioners share their latest on automating various tasks of software engineering. The 23 full papers cover verification, requirements, evolution, synthesis and code generation, algebraic specification, process, design, and testing. Another 23 short papers consider such topics as the explicit representation of architectural design assumptions, automated security checking and patching using TestTalk, a transformational viewpoint on design patterns, automatically assessing the ability of reusable class libraries to evolve, semantic abstract rules for class diagrams, a group critic system for object-oriented analysis and design, and systematically generating dependable change coordination plans for the automated switching of coordinate policies. There is no subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
606   $aSoftware engineering$vCongresses
615  0$aSoftware engineering
676   $a005.1
702   $aIEEE Staff
801  0$bPQKB
906   $aPROCEEDING
912   $a9910872428703321
996   $a15th International Conference on Automated Software Engineering 2000$92373268
997   $aUNINA