01558oam 2200469zu 450 99620972920331620210807001143.00-7695-3943-2(CKB)2610000000000495(SSID)ssj0000453466(PQKBManifestationID)12203209(PQKBTitleCode)TC0000453466(PQKBWorkID)10482405(PQKB)10313536(EXLCZ)99261000000000049520160829d2009 uy engtxtccr2009 Fourth South-East European Workshop on Formal Methods[Place of publication not identified]IEEE2009Bibliographic Level Mode of Issuance: MonographSouth-East European Workshop on Formal MethodsseefmFormal methods (Computer science)CongressesService-oriented architecture (Computer science)CongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCFormal methods (Computer science)Service-oriented architecture (Computer science)Engineering & Applied SciencesComputer Science004.6/54Stamatopoulou IoannaDranidis DimitrisIEEE Computer SocietyPQKBPROCEEDING9962097292033162009 Fourth South-East European Workshop on Formal Methods2398455UNISA01011nam a2200253 i 450099100178383970753620020502203942.0970503s1982 ||| ||| | ||| b10909205-39ule_instLE02376874ExLDip.to Studi Storiciita940.21Istituto Nazionale di Studi sul Rinascimento189611Scienze, credenze occulte, livelli di cultura :Convegno Internazionale di Studi, Firenze, 26-30 giugno 1980 /Istituto Nazionale di Studi sul RinascimentoFirenze :Olschki,1982OccultismoRinascimentoStudiScienza e Magia.b1090920521-09-0628-06-02991001783839707536LE023 940.21 SCI 1 112023000023471le023-E0.00-l- 01010.i1101352728-06-02Scienze, credenze occulte, livelli di cultura537822UNISALENTOle02301-01-97ma -engxx 01