01243nam0 22003131i 450 UON0021061920231205103333.37888-15-04852-920030730d1995 |0itac50 baitaIT|||| |||||Serbi, croati e slovenistoria di tre nazioniJoze PirjevecBolognaIl Mulino1995193 p.20 cm."aa 23/24"IT-UONSI S.CTesti EsameSERCROATIStudiUONC044101FISERBI STUDIUONC044005FISLOVENIStudiUONC044102FIITBolognaUONL000085949.7Storia della Jugoslavia21PirjevecJozeUONV108623139791Il MulinoUONV245824650ITSOL20250905RICAUON00210619SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI EUR D A 1880 SI SC 28428 5 1880 SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI S.C Testi Esame SER SI EO 29132 7 "aa 23/24"Serbi, croati e sloveni1261759UNIOR03349nam 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