01224cam0 2200313 450 E60020007009220220714123324.0887597237020101216d1993 |||||ita|0103 baitaengITVia Latinada Porta Latina a Tuscolofrom Porta Latina to Tusculum[Ada Cioffarelli]RomaBonsignoric1993125 p.ill.23 cmPercorsi archeologici5In testa al front.: Amministrazione provinciale di Roma, Assessorato sport e turismoTesto a fronte in inglese001LAEC000267542001 *Percorsi archeologici5from Porta Latina to TusculumLAEC00030195Cioffarelli, AdaA600200054894070775302ITUNISOB20220714RICAUNISOBUNISOBLATEM152554E600200070092M 102 Monografia moderna SBNMLATEM000223CON152554MarazziMacquistocatenacciUNISOBUNISOB20101216112947.020220714123324.0bethbPer le modalità di consultazione vedi homepage della Biblioteca link FondiVia Latina1700735UNISOB03349nam 22007455 450 991048332730332120251225210852.03-319-67549-410.1007/978-3-319-67549-7(CKB)4100000000587156(DE-He213)978-3-319-67549-7(MiAaPQ)EBC5578584(PPN)204533716(EXLCZ)99410000000058715620170914d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTesting Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIII, 341 p. 68 illus.) Programming and Software Engineering,2945-9168 ;10533Includes index.3-319-67548-6 Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems.This 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.Programming and Software Engineering,2945-9168 ;10533Software engineeringComputer networksCompilers (Computer programs)Computers, Special purposeComputer scienceElectronic data processingManagementSoftware EngineeringComputer Communication NetworksCompilers and InterpretersSpecial Purpose and Application-Based SystemsComputer Science Logic and Foundations of ProgrammingIT OperationsSoftware engineering.Computer networks.Compilers (Computer programs).Computers, Special purpose.Computer science.Electronic data processingManagement.Software Engineering.Computer Communication Networks.Compilers and Interpreters.Special Purpose and Application-Based Systems.Computer Science Logic and Foundations of Programming.IT Operations.004.620287Yevtushenko Ninaedthttp://id.loc.gov/vocabulary/relators/edtCavalli Ana Rosaedthttp://id.loc.gov/vocabulary/relators/edtYenigün Hüsnüedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483327303321Testing Software and Systems3568350UNINA