01165nam--2200373---450 99000147035020331620210416102217.00-521-25976-2000147035USA01000147035(ALEPH)000147035USA0100014703520040302d1985----km-y0itay0103----baengGB||||||||001yyConstructing the pastessays in historical methodologyedited by Jacques Le Goff and Pierre Norawith an introduction by Colin LucasCambridgeCambridge university press1985ParisEditions de la Maison des sciences de l'hommeV, 217 p.23 cmFaire de l'histoireStoria907.2LE GOFF,Jacques< 1924-2014 >NORA,PierreITsalbcISBD990001470350203316X.3.B. 773(III A 552)20221 L.M.III AIV 5 LEG NOR4036 DBCIV 5XVII.20504036 DBCXVII362410BKDBCUMAConstructing the past774606UNISA01347oam 2200421zu 450 99620348620331620210807001409.00-9835678-0-8(CKB)2670000000089057(SSID)ssj0000608381(PQKBManifestationID)12272588(PQKBTitleCode)TC0000608381(PQKBWorkID)10591627(PQKB)11055482(NjHacI)992670000000089057(EXLCZ)99267000000008905720160829d2010 uy engur|||||||||||txtccr2010 Formal Methods in Computer-Aided Design[Place of publication not identified]IEEE20101 online resource (vii, 279 pages) illustrationsBibliographic Level Mode of Issuance: Monograph1-4577-0734-9 Formal methods (Computer science)CongressesDigital integrated circuitsComputer-aided designCongressesFormal methods (Computer science)Digital integrated circuitsComputer-aided design004.0151IEEE StaffPQKBPROCEEDING9962034862033162010 Formal Methods in Computer-Aided Design2546678UNISA