00860nam a2200229 i 4500991002090829707536070130s2005 it a 000 0 ita 8877509414b13474340-39ule_instDip.to Beni Arti e StoriaitaAcustica musicale e architettonica /a cura di Sergio Cingolani e Renato SpagnoloTorino :UTET,2005963 p. :ill. ;24 cm.AcusticaMusicaArchitetturaCingolani, SergioSpagnolo, Renato.b1347434030-01-0730-01-07991002090829707536LE019 A24 MUS A 2712019000023436le019-E45.00-l- 09090.i1435616830-01-07Acustica musicale e architettonica1095109UNISALENTOle01930-01-07ma -itait 0001818nam 2200349 450 991037664480332120230818171440.0(CKB)3780000000086021(NjHacI)993780000000086021(EXLCZ)99378000000008602120230818d2015 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the Third FME Workshop on Formal Methods in Software Engineering /Stefania Gnesi, Nico Plat ; Association for Computing Machinery-Digital LibraryPiscataway, New Jersey :IEEE Press,2015.1 online resource (85 pages)We would like to take this opportunity to welcome you at FormaliSE 2015, the 3th FME (Formal Methods Europe; www.fmeurope.org) Workshop on Formal Methods in Software Engineering. The main goal of the workshop is to foster integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is currently the case. This need to achieve dialogue between the fairly small formal methods community and the (much larger) community of software scientists and practitioners forms the principal motivation holding for our workshop, and for our desire to hold it at ICSE.Formal methods (Computer science)CongressesFormal methods (Computer science)004.0151Gnesi Stefania875672Plat NicoACM Digital Library,NjHacINjHaclBOOK9910376644803321Proceedings of the Third FME Workshop on Formal Methods in Software Engineering2124447UNINA