00867nam--2200301---450 99000618360020331620200514063355.0000618360USA01000618360(ALEPH)000618360USA0100061836020161212d1972----km-y0itay50------baitaITa---||||001yyMirkoComune di Ferrara, Galleria civica d'arte moderna, Palazzo dei diamanti 21 ottobre-3 dicembre 1972FerraraComune di Ferrara1972[48] carteill.21x21 cmCatalogo della MostraMirkoCataloghi di Esposizioni730.92ITsalbcISBD990006183600203316XVII A. 2638570 DLASXVII A.392677BKCASMirko1394827UNISA03500nam 22006735 450 99646643570331620200707001502.03-319-99927-310.1007/978-3-319-99927-2(CKB)4100000006374713(DE-He213)978-3-319-99927-2(MiAaPQ)EBC6220519(PPN)23053841X(EXLCZ)99410000000637471320180906d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTesting Software and Systems[electronic resource] 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /edited by Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XII, 171 p. 45 illus.) Programming and Software Engineering ;111463-319-99926-5 This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded- and cyber-physical-systems, and security infrastructures.Programming and Software Engineering ;11146Software engineeringProgramming languages (Electronic computers)Computer logicArtificial intelligenceComputer organizationSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Software engineering.Programming languages (Electronic computers).Computer logic.Artificial intelligence.Computer organization.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Artificial Intelligence.Computer Systems Organization and Communication Networks.004.620287Medina-Bulo Inmaculadaedthttp://id.loc.gov/vocabulary/relators/edtMerayo Mercedes Gedthttp://id.loc.gov/vocabulary/relators/edtHierons Robertedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466435703316Testing software and systems2088040UNISA01582nam 2200361 n 450 99639471700331620200824121813.0(CKB)4940000000123199(EEBO)2240918416(UnM)ocm99891720e(UnM)99891720(EXLCZ)99494000000012319919911125d1636 uy laturbn||||a|bb|Phrases linguae Latinae, ab Aldo Manutio P. F. conscriptae: nunc primùm in ordinem abecedarium adductae, & in Anglicum sermonem conversae. Accessit huc index dictionum Anglicarum, cujus ope quilibet hoc libello quàm commodissimè uti poterit[electronic resource]Cantabrigiae Ex Academiae celeberrimae typographeo [i.e. T. Buck and R. Daniel]1636[1]+ pPrinters' names from STC (2nd ed.).Fragment; consists of t.p. only.Reproduction of original in: British Library.eebo-0018Latin languageTerms and phrasesEarly works to 1800Latin languageTerms and phrasesManuzio Aldo1547-1597.720947Cu-RivESCu-RivESCStRLINCu-RivESBOOK996394717003316Phrases linguae Latinae, ab Aldo Manutio P. F. conscriptae: nunc primùm in ordinem abecedarium adductae, & in Anglicum sermonem conversae. Accessit huc index dictionum Anglicarum, cujus ope quilibet hoc libello quàm commodissimè uti poterit2411937UNISA