00959nam2 2200313 45009900007358802033160073588USA010073588(ALEPH)000073588USA010073588--------d--------km-y0ENGy0103----baitaITParco nazionale del Cilento e Vallo di Dianooasi di Persano, Serre, Postiglione, Sicignano degli Alburni, Petina ...31 fasc.ill.30 cmTitolo della copertina200100100735862001Itinerario turistico915.574ITsalbcISBD990000735880203316V G MISC 2/29 2132684 LMV GBKUMAPATTY9020011112USA01164220020403USA011721PATRY9020040406USA011651Parco nazionale del Cilento e Vallo di Diano782774UNISA00830nam 2200265la 450 991048173700332120210618142957.0(UK-CbPIL)2126543682(CKB)5500000000107148(EXLCZ)99550000000010714820210618nuuuuuuuu uy |itaurcn||||a|bb|Septe peccati mortali/ & la emendatione di decti peccati[electronic resource]Italy [s.n.][s.d.]Online resource ([4] c., 4°)Reproduction of original in Biblioteca Nazionale Centrale di Firenze.Tubini, Antonio859595Dalla Barba Zanobi972884Uk-CbPILUk-CbPILBOOK9910481737003321Septe peccati mortali2213253UNINA02088oam 2200565zu 450 991014300400332120241212215533.097815090863201509086323(CKB)1000000000331682(SSID)ssj0000394766(PQKBManifestationID)12107832(PQKBTitleCode)TC0000394766(PQKBWorkID)10425394(PQKB)10088641(EXLCZ)99100000000033168220160829d2007 uy engtxtccrFormal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas[Place of publication not identified]IEEE Computer Society2007Bibliographic Level Mode of Issuance: Monograph9780769530239 0769530230 Digital integrated circuitsComputer-aided designCongressesIntegrated circuitsVerificationCongressesFormal methods (Computer science)Design and constructionMathematicsCongressesDigital integrated circuitsCongressesElectrical & Computer EngineeringHILCCElectrical EngineeringHILCCEngineering & Applied SciencesHILCCDigital integrated circuitsComputer-aided designIntegrated circuitsVerificationFormal methods (Computer science)Design and constructionMathematicsDigital integrated circuitsElectrical & Computer EngineeringElectrical EngineeringEngineering & Applied Sciences621.3815Baumgartner JasonSheeran MaryIEEE Computer SocietyFMCAD 2007PQKBPROCEEDING9910143004003321Formal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas2388533UNINA