01360nam 2200409 450 991016923730332120180814114510.0(CKB)3710000001156643(WaSeSS)IndRDA00103108(EXLCZ)99371000000115664320180814d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierFMCAD 2016 proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA /edited by Ruzica Piskac and Muralidhar TalupurAustin, Texas :FMCAD,2016.1 online resource (214 pages)1-5386-2692-6 0-9835678-6-7 Formal methods (Computer science)CongressesComputer systemsComputer-aided designCongressesSystem designCongressesElectronic books.Formal methods (Computer science)Computer systemsComputer-aided designSystem design004.0151Piskac RuzicaTalupur MuralidharWaSeSSWaSeSSPROCEEDING9910169237303321FMCAD 20161945327UNINA01136nam 2200337 450 991072436880332120230626080750.0(CKB)5470000002601963(NjHacI)995470000002601963(EXLCZ)99547000000260196320230626d1997 uy 0freur|||||||||||txtrdacontentcrdamediacrrdacarrierActes du Xe Congrès international d'épigraphie grecque et latine Nîmes, 4-9 octobre 1992 /Michel Christol, Olivier MassonParis :Éditions de la Sorbonne,1997.1 online resource (499 pages)Actes du Xe congrès international d’épigraphie grecque et latine Inscriptions, LatinCongressesInscriptions, Latin471.1Christol Michel223421Masson OlivierNjHacINjHaclBOOK9910724368803321Actes du Xe Congrès international d'épigraphie grecque et latine3391722UNINA