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 Systems337188UNINA