LEADER 01716nlm0 22004691i 450 001 990009263130403321 010 $a9783642050312 035 $a000926313 035 $aFED01000926313 035 $a(Aleph)000926313FED01 035 $a000926313 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aTesting of Software and Communication Systems$bRisorsa elettronica$e21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings$fedited by Manuel Núñez, Paul Baker, Mercedes G. Merayo 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5826 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aBaker,$bPaul 702 1$aMerayo,$bMercedes G. 702 1$aNunez,$bManuel 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-05031-2 901 $aEB 912 $a990009263130403321 961 $aAlgorithm Analysis and Problem Complexity 961 $aComputer science 961 $aComputer Science 961 $aComputer simulation 961 $aComputer software 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aProgramming Languages, Compilers, Interpreters 961 $aProgramming Techniques 961 $aSimulation and Modeling 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aTesting of Software and Communication Systems$9773764 997 $aUNINA LEADER 00953nam--2200349---450- 001 990003591830203316 005 20111124141129.0 010 $a9780198526827 035 $a000359183 035 $aUSA01000359183 035 $a(ALEPH)000359183USA01 035 $a000359183 100 $a20111116d2008----km-y0itay50------ba 101 $aeng 102 $aUS 105 $aa---||||001yy 200 1 $aCosmology$fSteven Weinberg 210 $aOxford [etc.]$cOxford university press$d2008 215 $aXVII,593 p.$cill.$d26 cm 606 0 $aCosmologia$2BNCF 676 $a523.1 700 1$aWEINBERG,$bSteven$09971 801 0$aIT$bsalbc$gISBD 912 $a990003591830203316 951 $a523 WEI 114$b11/DF$c523 959 $aBK 969 $aDF 979 $aIANNACO$b10$c20111116$lUSA01$h1630 979 $aIANNACO$b10$c20111117$lUSA01$h1151 979 $aIANNACO$b10$c20111124$lUSA01$h1411 996 $aCosmology$9808651 997 $aUNISA