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 20161945327UNINA01134nam0 22002411i 450 VAN003897520060515120000.020051024d1984 |0itac50 bafreFR|||| |||||Dessins florentins et romains de la collection Frits Lugtecoles florentine, siennoise, ombrienne et romaine, complétées par des lettres autographesParisInstitut neerlandaisc1984XIV, 97 p., 32 c. di tav.26 cm.ParisVANL000046Nederlands instituutParigiVANV032362727577Istitut néerlandaisVANV110551650ITSOL20230616RICAVAN0038975BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI07CONS Cb.Parigi 1984 /I 07 14765 20051024 BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI07CONS Cb Parigi 1984/II 07 43584 20070524 Dessins florentins et romains de la collection Frits Lugt1424316UNICAMPANIA01045nam0-2200349---450 99000883265040332120231018105646.088-243-1741-3000883265FED01000883265(Aleph)000883265FED0120090330d2007----km-y0itay50------baitaITy-------001yy<<L'>>editto carbonianoSilvia SegnaliniNapoliJovene2007XII, 209 p.24 cmPubblicazioni del Dipartimento di scienze giuridiche, Università degli studi di Roma La Sapienza12340.537 623itaSegnalini,Silvia474299ITUNINARICAUNIMARCBK990008832650403321FONDO PROFESSOR ANTONIO GUARINO IV C 23G/1458FGBCDirez. S-17310006 ddrDDR21-12322XII B 1302245NAP02FGBCDDRNAP02Editto Carboniano252158UNINA