LEADER 02662nam2 2200541 i 450 001 MIL0347453 005 20231121125545.0 010 $a8806144731 020 $aIT$b98-2268 100 $a19971119d1997 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜12: La œcriminalità$fa cura di Luciano Violante 210 $aTorino$cG. Einaudi$d\1997! 215 $aXXXIX, 1098 p.$d23 cm 300 $aIn custodia. 461 1$1001CFI0012299$12001 $aStoria d'Italia. Annali$v12 606 $aDelinquenza$xItalia$xSaggi$2FIR$3RMLC411305$9I 606 $aCriminologia$2FIR$3RMLC000895$9E 606 $aTerrorismo$xItalia$2FIR$3RMLC096006$9I 606 $aCriminalita$xItalia$xSec. 19.-20.$2FIR$3RMLC096171$9I 676 $a364$9$v21 676 $a364.945$9$v21 702 1$aViolante$b, Luciano$f <1941- >$3CFIV050915 801 3$aIT$bIT-01$c19971119 850 $aIT-RM028 $aIT-RM0289 $aIT-RM0290 $aIT-RM0313 $aIT-RM0281 $aIT-RM0418 $aIT-RM0459 $aIT-RM0211 $aIT-RM0830 $aIT-RM0319 $aIT-RM1248 $aIT-RM0251 $aIT-FR0084 $aIT-RM0460 $aIT-FR0017 899 $aBiblioteca Universitaria Alessandrina$bRM028 899 $aBiblioteca Statale A. Baldini$bRM0289 899 $aBIBLIOTECA ANGELICA$bRM0290 899 $aBIBLIOTECA CASANATENSE$bRM0313 899 $aBIBLIOTECA VALLICELLIANA$bRM0281 899 $aBIBLIOTECA ACCADEMIA NAZ. DEI LINCEI E CORSINIANA$bRM0418 899 $aARCHIVIO DI STATO DI ROMA$bRM0459 899 $aFondazione Marco Besso$bRM0211 899 $aBiblioteca della Direzione Generale Archivi$bRM0830 899 $aBiblioteca dello Stato Maggiore dell' Aeronautica$bRM0319 899 $aBiblioteca Della Fondazione Pietro Nenni$bRM1248 899 $aBiblioteca Della Soprintendenza Archivistica Per Il Lazio$bRM0251 899 $aBiblioteca Del Monumento Nazionale Di Montecassino$bFR0084 899 $aBiblioteca Dell' Archivio Centrale Dello Stato$bRM0460 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aMIL0347453 950 2$aBiblioteca umanistica Giorgio Aprea$d 52S.L. 945 SIA.Rom.12$e 52FLS0000192485 VMB RS $fC $h20160427$i20160427 977 $a 01$a 04$a 06$a 07$a 08$a 10$a 12$a 14$a 20$a 22$a 23$a 24$a 25$a 27$a 52 996 $aCriminalità$983704 997 $aUNICAS LEADER 03349nam 22007455 450 001 9910483327303321 005 20251225210852.0 010 $a3-319-67549-4 024 7 $a10.1007/978-3-319-67549-7 035 $a(CKB)4100000000587156 035 $a(DE-He213)978-3-319-67549-7 035 $a(MiAaPQ)EBC5578584 035 $a(PPN)204533716 035 $a(EXLCZ)994100000000587156 100 $a20170914d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTesting Software and Systems $e29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /$fedited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIII, 341 p. 68 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10533 300 $aIncludes index. 311 08$a3-319-67548-6 327 $aModel based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems. 330 $aThis book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v10533 606 $aSoftware engineering 606 $aComputer networks 606 $aCompilers (Computer programs) 606 $aComputers, Special purpose 606 $aComputer science 606 $aElectronic data processing$xManagement 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aCompilers and Interpreters 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer Science Logic and Foundations of Programming 606 $aIT Operations 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aCompilers (Computer programs). 615 0$aComputers, Special purpose. 615 0$aComputer science. 615 0$aElectronic data processing$xManagement. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aCompilers and Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aIT Operations. 676 $a004.620287 702 $aYevtushenko$b Nina$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCavalli$b Ana Rosa$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYenigün$b Hüsnü$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483327303321 996 $aTesting Software and Systems$93568350 997 $aUNINA