00903nam0-22003011i-450-9900011122504033210-387-97664-7000111225FED01000111225(Aleph)000111225FED01000111225--------d--------km-y0itay50------baeng<<The >>Temporal Logic of Reactive and Concurrent SystemsZohar Manna, Amir PnueliNew YorkSpringer-Verlag1992Teoria della programmazione e utilizzazione dei computersSoftware510.78Manna,Zohar25952Pnueli,AmirITUNINARICAUNIMARCBK9900011122504033218B-28318755FI18B-283.00118774FI1FI1Temporal Logic of Reactive and Concurrent Systems337188UNINA02831nas 2200613- 450 99621855490331620231108213018.01467-9698(DE-599)ZDB2073643-5(OCoLC)45803207(CKB)110989422322006(CONSER)--2023220082(EXLCZ)9911098942232200620010126b19842022 s-- aengurmnu||||||||txtrdacontentcrdamediacrrdacarrierWorld banking abstracts[Oxford, England] :Blackwell Publishers,[1983?]-2023.[Hoboken, New Jersey?] :John Wiley & Sons Ltd ;[Bangor, Wales] :Institute of European Finance, Bangor University1 online resourcePrint version: World banking abstracts / 0265-9484 (DLC) 91659151 (OCoLC)19052006 World Banking Abstracts provides access to all the important articles published internationally in over 400 banking and finance publications. Each issue of the journal contains concise, 75-word abstracts of published information in all areas of finance, classified by subject and fully indexed. The abstracts are drawn from journals, magazines, and hard-to-find research reports such as those from the US Federal Reserve Banks, the EC research institutes and universities throughout the world. Key topics covered include: Financial institutions Insurance and pensions Financial instruments and markets, Financial operations and services, Management, accounting and technology, Policy, law and regulation, International and national economies, Principles and methods.Banks and bankingPeriodicalsAbstractsPeriodicalsBanks and bankingPeriodicalsAbstractsTranslations into EnglishPeriodicalsBanks and bankingPeriodicalsfast(OCoLC)fst00826954Services financiersRésumés analytiquesPériodiquesAbstracts.fastPeriodicals.fastAbstracts.lcgftPeriodicals.lcgftfinancial institutionswereldbankworld bankfinanceverzekeringinsurancepensioenenpensionsfinancieel beheerfinancial managementboekhoudingaccountingFinancial SectorBanks and bankingPeriodicalsBanks and bankingPeriodicalsAbstractsTranslations into EnglishBanks and bankingPeriodicals.Services financiersJOURNAL996218554903316World banking abstracts2027448UNISA